Awesome plugin

We have been using the plugin to add some specific php pages to WordPress, and it does everything we need.
We don’t give it 5 stars because we feel it could improve:
. The code revisions compare tool always open a 404 error page (maybe because we use WPML?)
. Long pages of code tends to be heavy and even scrolling has huge slowdowns (adding a button to switch on the fly some editor automatic options/formating could help)
. Sometimes the WP update page says that the plugin is crashing and bares us to do any further updates (until we oprn once the plugin options), and we don’t know the reason (no logs from either the plugin or WP)