Lucas

I'm posting this as I was at first utterly baffled when trying to make a hotkey combo of `meta` and `plus`, and the docs did not lead me in the...