I was poking around the grammar description, and I...

# announcements

[fellshard]

I was poking around the grammar description, and I noticed a nonterminal named annotationEntry (as part of fileAnnotation) that doesn't seem to be defined. What are file annotations intended to be?