It also shouldn't mention F5. Some browsers don't support it and some keyboards use it as a meta key.