Options now refreshes on focus

With so many new ways to update the whitelist, the options page
could be out-of-date if left open and unattended for a while. It
now refreshes when the page is revisited.