From https://developer.chrome.com/extensions/options.html