Manpages of src:rednotebook in Debian bookworm-backports