> Why is this block indented?

Because I thought it looked nicer.

> In general, do we want to document contracts?

I don't find trivia to be helpful - in this case, any additional documentation would be trivia.