Hacker News new | ask | show | jobs
by jacquesm 6144 days ago
touching the settings file works as well, and almost all of the regular pages will be reloaded as well as soon as you've saved them.

Rarely do you have to do anything other then just saving the file.