Manpages of alot in Debian testing