master branch of manual is now updated to be for version 8.3.1