Ask HN: Why is ⌥ the option key symbol? · HackerTrans