minor WIP on settings introspection

	modified:   options.html
	modified:   options.js