doc: Replace some @file tags by more suitable markup.