That way, UIs can look up and show usage info.
A more complex alternative would be some kind of JSON
file describing what all the config options do, but I don't
think that's particularly needed, especially when we already have the optional HTML stuff.
That way, UIs can look up and show usage info.
A more complex alternative would be some kind of JSON
file describing what all the config options do, but I don't
think that's particularly needed, especially when we already have the optional HTML stuff.