User blog comment:Bluecats/Should I change cocoa's design?/@comment-30886488-20170628080027

Option 3 is the best.