Comment by soblemprolver

F9 doesn't seem to do anything for me on Linux... Neither on the posted page nor on HN.

What is it supposed to do?

There is no mention of F9 on this support page either:

https://support.mozilla.org/en-US/kb/keyboard-shortcuts-perf...

Am I missing something?