Ask HN: Why is ⌥ the option key symbol? | Hacker News Reader