Fix alt_/ (opt + /) on Mac (hopefully fixes #415)