[josephg]

Does that work? I’m surprised browsers allow websites to disable the default behaviour of F5.

[undebuggable]

Yes absolutely. It's possible to remap the entire keyboard at the website level.