Update to JSON5 config format.