598b0b9b11
This reverts commit 93deeb33d660375f0db251b59e8cec5c27ae8693. Revert manual documentation, to add automatically generated one instead