Yahoa!!!!! Tenemos PHP5RC3, señores! Pueden visitar la Bitácora de cambios o descargar directamente el paquete. Por lo pronto, los test de PHP_Beautifier corren bien; de todas maneras, los cambios no deberían afectar el funcionamiento de la aplicación, por lo que leí.