remove never-to-be-released 8.1.7 version history section from the
V8_2-branch of the manual