The delete key on OSX now works again