While I think file-level docstrings are a very good idea, I don't see a reason to add them if we don't have something to say.