You're right, that is generally a better option these days. Unfortunately, it still does suffer from the same problem, to some extent. Settings are sometimes re

You're right, that is generally a better option these days. Unfortunately, it still does suffer from the same problem, to some extent. Settings are sometimes renamed, and then it takes some time and effort to track down the new name, assuming the setting (or an equivalent) still even exists.