What's the decision about indentation size? 2 spaces or 4?