IDLDoc2.0 implied that @file_comments could be used at the start of a file and not just in routine comments. (Help indicated it to be "file level" comments)
In IDLDoc3.0 it seems implied that the initial (non-tagged) text at the file level should be treated as file comments. I suggest that if the tag @file_comments is present that it should also treat the following text as file comments. This would avoid potentially needless correction of previous documentation.
IDLDoc2.0 implied that @file_comments could be used at the start of a file and not just in routine comments. (Help indicated it to be "file level" comments)
In IDLDoc3.0 it seems implied that the initial (non-tagged) text at the file level should be treated as file comments. I suggest that if the tag @file_comments is present that it should also treat the following text as file comments. This would avoid potentially needless correction of previous documentation.