Documenting file headers