@nedbat unrelated to this specific PR: will our tools for pulling out strings from html templates do the right thing with ```_("this " "kind " "of string")```?