Manpages of libipmimonitoring-dev in Debian bookworm-backports