Add michaelpg to options watchlist

WATCHLISTS

Index: WATCHLISTS
diff --git a/WATCHLISTS b/WATCHLISTS
index d3f2f0b8f4e9daf7269ea9c342b77ac24fa85d12..7051291bbe1ca181ceb7e62d0412c2041f7634eb 100644
--- a/WATCHLISTS
+++ b/WATCHLISTS
@@ -287,11 +287,6 @@
                   'net/base/host_cache|' \
                   'net/dns/'
     },
-    'domui_options': {
-      'filepath': 'chrome/browser/resources/options/|'\
-                  'chrome/browser/resources/options.html|'\
-                  'chrome/browser/ui/webui/options/',
-    },
     'download': {
       'filepath': 'chrome/browser/download/|'\
                   'content/browser/download/',
@@ -959,7 +954,8 @@
     'ntp': ['estade+watch@chromium.org', 'dbeam+watch-ntp@chromium.org',
             'pedrosimonetti+watch@chromium.org'],
     'omnibox': ['suzhe@chromium.org'],
-    'options': ['dbeam+watch-options@chromium.org'],
+    'options': ['dbeam+watch-options@chromium.org',
+                'michaelpg+watch-options@chromium.org'],
     'overview_mode': ['tdanderson+overview@chromium.org'],
     'ozone': ['kalyan.kondapally@intel.com', 'ozone-reviews@chromium.org'],
     'panels': ['dimich@chromium.org', 'jennb@chromium.org',