• maybe that's older E.toString() which still only made flat strings?

    Ahh! Yes, that'll be it :) The newer one uses whatever takes the least space

About

Avatar for Gordon @Gordon started