USER OPTIONS (in JSON5)