Remove old manual settings file generation to make way for new json encoding.
Add json encoding.