STYLE: Clarify when to use pointer or value receivers
Our current policy with regards to pointer vs. value receivers is not documented anywhere. Given that we have a policy saying that if a single method requires a pointer receiver, all methods should be pointer receivers, there's some non-obvious bits to our coding style. So let's write this part down so we can point to it from now on.