Manpages of rest2web in Debian testing