From Craig Silverstein: support @file expansion.