They're not overly useful to have in there, since they don't have a name
you could type to jump to them.

Reviewed-by: Roberto Raggi