Manpages of libregina3-dev in Debian testing