Wrench menu not disappearing on iOS

[codinghorror (Jeff Atwood)]

Make sure you add a comment so we don’t carry this hack around for 5 years