Hi, Ludovic Courtès <l...@gnu.org> skribis:
> Now, we could tweak the pretty printer so that it recognizes patterns > where numbers or strings should be printed in a certain way. I did that in c3b1cfe76b7038f4030d7d207ffc417fed9a7ead. Lemme know how you like it! :-) Ludo’.