Manpages of extra-xdg-menus in Debian stretch