Seems like our formatting settings are not working anymore (this is not the first hint, seems like copyright headers too, etc)

I don't want to go back there though ... :)