It's better for the project organization if we nicely organize external projects' files in contrib/, and our own files in src/.