@gruber @stroughtonsmith to me it seems like it’s the name of one thing that happens to have a plural name, just like Pages, Numbers, and Messages (and Broadcasts). Settings is a collection of many settings, but we’d never say “Settings are”.
Maybe they should update this text to “Writing Tools have exited” for consistency? 😛 https://mastodon.social/@stroughtonsmith/113381405738433516