Do you think we ended up with `null` here rather than `Option` or our own result ADT on grounds of performance? Or maybe just through path-of-least-resistance code evolution? If it is the former, or that's our best suspicion, we ought to document that here. Otherwise, we could do away with the `null`.