The least I can say is that the past hours have been really exciting for PHPLeague. I took the day to optimize the Core edition and it has been a great success.
3 tables have been dropped of the database. Less queries in the front-area, css & js have been optimized and minified.
And from now on, the plugin is officially available on the WP Plugin Repository: http://wordpress.org/extend/plugins/phpleague/
The current stable release is the: 1.2.3