ParentFull threadptx·The menu key was always useless anyway, because shift+F10 does the same thing.View on HN