master branch of manual is now for 8.1.4
Revert "master branch of manual is now for 8.1.4"

This reverts commit 1e87f6a497a35907677d3b11d679da87dbc1fb27.