0001-comply-with-the-Debian-policy-10.7.2.patch
0002-make-sensible-decisions-on-which-pager-and-editor.patch
0003-closes-772351-thanks-Raphael-Geissert.patch
0004-fix-type-in-manpage.patch