Similarly, this can just be deleted it makes me dumber by reading it. (I know Java projects everywhere are full of a bunch of dumb documentation like this; we want to be better than that.)