Gittrac #3882:  Added this to the "known bugs" section of the
8.0.2 version history.