DOKK / manpages

Man pages matching name as31 in section 1:

as31.1.en debian 10 / as31
as31.1.en debian 11 / as31
as31.1.en debian 12 / as31