DOKK / manpages

Man pages matching name infernoembedded in section 3:

InfernoEmbedded.3.en debian 11 / owfs-doc
InfernoEmbedded.3.en debian 12 / owfs-doc