Improve the file header comment on gitfs.c a little.