So that’s what John Gruber has been up to. An iOS app.