Refresh patch manpage-debian.patch and DEP3 patch headers.