static WRITING: Mutex<()>
Held across each read-change-write of the profiles file, so one change can’t overwrite another.