F5 is a keyboard shortcut to refresh a webpage. Back in the day, it was an ongoing joke that people would mash their F5 button, refreshing the page constantly, hoping one of those refreshes would reveal a new update.
So, when they say "F5 broken", it means they broke their F5 key constantly refreshing the page, waiting for an update to appear.