Improved docs about file-level annotations