Issue #92: providing default JSON script; documented JSON format for options