Move this doc comment to the top, before the imports (and likewise in other files).