@blinry '/' is also a nice shortcut! 👍 websites match their internal search functions to this key so ' seems to be the safer choice.