0.4.3-dev: migrate options.txt to JSON