Manpages of rivet-plugins-dev in Debian unstable