But then what's the difference between the highlights attached to the annotation (e.g., the annotation was created by selecting the highlight) and the highlights referred to by the annotation's body? (i.e., with `h:<id>`)

What about the following:

```
highlights
tags
references:
  highlights
  publications
  users
  annotations
  tags
```