Comment out the outdated Hangul key workarounds