PROPOSAL: Moving man pages out of docs Upstream-commit: b6049b5c4963bb1b82ba381cdce69d1083bcf59e Component: engine