Hacker News new | ask | show | jobs
by Pacabel 4461 days ago
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.