Maybe you could mention that doc comments are just sugar for this attribute too?