FORMAT.md: more work