Add some of my very old raw notes about FORMAT.