This endless angels-on-a-pinhead debate about indentation styles is
getting tiresome. Could we *please* improve the signal to noise ratio
in this list? Debate the indentation styles by all means, but could
this discussion be taken elsewhere? Please. Something as subjective as
coding and indentation styles are unlikely to ever reach a consensus,
so I'd like this list to revert to more informative content.