Manpages of as31 in Debian buster