Update user.json to use JSON5