pothos-gui: added some info to the about box