....which was totally useless info then...and now.
I personally thought F5 was a very useful bit of information.
I have used F5 several times today.