Fixes #157. * doc/org/concepts.org: Document the properties. * doc/org/hoa.org: Link to it. * NEWS: Mention the change.