@nedbat @chrisndodge: Should this be interpolating the platform name in first, to give the translators the full context of what's being translated (with a comment not to translate the platform name), or is this the right way to do this?