@jws that's my solution too, but Apple keeps doing weird stuff with the keyboard… It just doesn't feel bigger!
Searching