Torquil, thank you for reporting this defect. I will disable the menu entry in the next release. I'm also trying to find out how to fix this properly. Please also follow the discussion at https://bugs.launchpad.net/ubuntu/+source/gjots2/+bug/257842
Regards Rolf -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
