Keyboard tweaks, predominantly AutoHotKey