But since F5 is and has been for 30 years the universal refresh button I never needed to learn that some software uses a different, undiscoverable key combination.