NOTE: the original draft of this post was written on a smartphone, composed using the Google keyboard with its auto-completion feature. When I saved the original draft, Google keyboard silently changed one word I typed manually, "multibillionaire", to "multimillionaire". The mistake is understandable, but it must have been a lower-level Google developer who saw fit to make the silent change: a Google CEO (or some such) would never have made that mistake.
