Flesh out PROTO docs with more annotations