Do we want toStyledString here?  ...or would we be better to use unstyled?  (Styled is more human-readable, but these strings aren't long enough to make much difference, and unstyled all fits on one line, which might itself be more readable.)