f0764db721 added rename aliases for the
HTML and JSON options, which print a trace when evaluated:
trace: Obsolete option `HTML' is used. It was renamed to `html'.
trace: Obsolete option `JSON' is used. It was renamed to `json'.
These were correctly removed when introspecting enabled tools, however
they were not removed when constructing the "setup options" to serialise
as a lua table.