Document better how labels are auto-assigned to declarations #255
Description
... so that people who want to ref them have a chance of figuring out the labels.
{{ message }}
... so that people who want to ref them have a chance of figuring out the labels.