more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);
more direct TextAttribute.RUN_DIRECTION_LTR (see also ce22e5c3d4ce);