Hi Nick, Enrico,
I'm somewhat embarrassed by the number of style fixes in build.c when I thought it was better than that
How much of the changes are manual and how much is done by the fix_alignment script & is it safe to just run this every time pre-commit?
Several of the things you changed I had thought I had right, so maybe hacking.html needs to be more explicit rather than just "like the rest of the code". Then I could have saved you some work :-) At least the things not addressed by the script should be listed, eg when and if {} is used around single if clauses etc.
Cheers Lex