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