New file, or maybe a very old one. Empty, for now, and there may be some circular bootstrapping soon.
