In Setup 3. it says "Edit your newly-created SpireConfig file", took me some time to realize that the actual file is called "config.properties"