edit of known bug version history item in 7.9.5 for #3573
set 7.9.5 release date to Apr 17, and correct a LaTeX label typo.