I feel a little bit sad that Inbox — Google’s personalized” mail app that I’d been using on my iPhone since late 2014 — was discontinued yesterday. Granted, the new Gmail app is a little more Inbox-y — spiffier, more colorful, more here-and-now. Not the end of the world, but I just thought I’d say “farewell and adieu” to an app I was fairly happy with.