Manual: Don't depend on the JSON options
options.json: Export as an object rather than a list

This makes it easier to look up options by name.
options.json: Filter out "visible" and "internal" attributes