String(Vector<T>) should take a CharacterWidth option like we added for HTMLIdentifier Probably other String constructors could benefit from such sharing? See bug 107337 for context.
Sounds like it could be useful indeed :) Please add tests if you add this constructor.