DOKK / manpages

Man pages matching name dbgh5 in section 1:

dbgh5.1.en debian 10 / gatb-core
dbgh5.1.en debian 11 / gatb-core
dbgh5.1.en debian 12 / gatb-core