Manpages of auto-07p in Debian stretch