Add note about inherited options to user's list options page.

This is to help user's understand the meaning of unset options. It is related to #188 and #476 but does not do what they ask which is to show the effective setting rather than an unset value. Rather it is a mitigation to point to where to look for the effective setting.