Fixed small bug in the plugin manager + cosmetic changes + added a script to autogenerate the plugin documentation (ticket #124).