DOKK / manpages

Man pages matching name intro in section 8mandos:

intro.8mandos.en debian 11 / mandos
intro.8mandos.en debian 12 / mandos