Improve wording for 8.0.2 no-more-Debian-5 version history item
===GT=== #3852
set manual's release date of Aug 22 for 8.0.2
Merge branch 'V8_0_2-branch' into V8_0-branch