Issue #9: File tags for main functions

The @file tag must go after a brief description, or Doxygen won't parse
the file.