Conversion INI -> JSON using Qt5: Actually commit the JSON files. Also, remove the INI files. Finally, fix two smaller bugs.