DOKK / manpages

Man pages matching name funtext in section 7:

funtext.7.en debian 10 / libfuntools-dev
funtext.7.en debian 11 / libfuntools-dev
funtext.7.en debian 12 / libfuntools-dev