I knew someone would ask that :)

The hand-written file was formatted with a line-width of 100. I adopted this convention to limit the number of changes between the original file and the generated one. You would do it e.g. using your IDE (I use IntelliJ for this).

Of course it would be much better if this was part of the transformation, but I'm not aware of a way to do this. If you have an idea I'd be happy to adapt the transformation accordingly.