Fix manpage and .desktop file according to Debian consistency patches.