Hey Benjamin, Benjamin Franzke [2015-02-19 13:10 +0100]: > They were removed in commit 798d3a52 ("Reindent man pages to 2ch"). Applied, thanks! Martin -- Martin Pitt | http://www.piware.de Ubuntu Developer (www.ubuntu.com) | Debian Developer (www.debian.org)