Evidence that even @github.com developers themselves don't use these menus:

(Only happens on pulls. Issues are fine)