Manpages of springlobby in Debian testing