DOKK / manpages

Man pages matching name sergensio_rts in section 3:

sergensio_rts.3.en debian 11 / libgensio-dev
sergensio_rts.3.en debian 12 / libgensio-dev