DOKK / manpages

Man pages matching name selection in section 3u:

Selection.3u.en debian 10 / ivtools-dev
Selection.3u.en debian 11 / ivtools-dev
Selection.3u.en debian 12 / ivtools-dev