Lex Trotman - 2014-02-05

You can set it to anything you want yourself. The default use of f4 can be changed if you can persuade enough users to agree.