I might clean up the automatically generated comments in this file, since you can restore them any time you like.