Switch to the official system-monitor extension

I don't like it as much, but the unofficial one was removed from Debian.
The package name is the same.

.config/dconf-load-yaml/conf.d/gnome-shell-00.yaml

@@ -23,11 +23,13 @@
       - key: command-history
         reset: false
       - key: enabled-extensions
+        # TODO(https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1086595):
+        # Switch back to a better system-monitor with graphs.
         value: >-
           ['[email protected]',
           '[email protected]',
           'no-overview@fthx',
-          'system-monitor@paradoxxx.zero.gmail.com',
+          'system-monitor@gnome-shell-extensions.gcampax.github.com',
           '[email protected]',
           '[email protected]']
       - key: favorite-apps
@@ -136,89 +138,6 @@
             value: "'NOTHING'"
           - key: show-window-previews
             value: "false"
-        - dir: system-monitor
-          children:
-          - key: background
-            value: "'#1f1f1fff'"
-          - key: cpu-display
-            value: "true"
-          - key: cpu-graph-width
-            value: "60"
-          - key: cpu-individual-cores
-            value: "false"
-          - key: cpu-refresh-time
-            value: "500"
-          - key: cpu-show-menu
-            value: "true"
-          - key: cpu-show-text
-            value: "false"
-          - key: cpu-style
-            value: "'graph'"
-          - key: disk-display
-            value: "true"
-          - key: disk-graph-width
-            value: "60"
-          - key: disk-read-color
-            value: "'#0000ffff'"
-          - key: disk-refresh-time
-            value: "500"
-          - key: disk-show-text
-            value: "false"
-          - key: disk-style
-            value: "'graph'"
-          - key: disk-usage-style
-            value: "'bar'"
-          - key: disk-write-color
-            value: "'#ff0000ff'"
-          - key: freq-display
-            value: "false"
-          - key: freq-show-menu
-            value: "true"
-          - key: icon-display
-            value: "false"
-          - key: memory-graph-width
-            value: "60"
-          - key: memory-refresh-time
-            value: "500"
-          - key: memory-show-text
-            value: "false"
-          - key: move-clock
-            value: "false"
-          - key: net-collisions-color
-            value: "'#ff7fffff'"
-          - key: net-down-color
-            value: "'#7f7fffff'"
-          - key: net-downerrors-color
-            value: "'#ff7fffff'"
-          - key: net-graph-width
-            value: "60"
-          - key: net-refresh-time
-            value: "500"
-          - key: net-show-text
-            value: "false"
-          - key: net-up-color
-            value: "'#ff7f7fff'"
-          - key: net-uperrors-color
-            value: "'#ff7fffff'"
-          - key: show-tooltip
-            value: "true"
-          - key: swap-display
-            value: "true"
-          - key: swap-graph-width
-            value: "60"
-          - key: swap-refresh-time
-            value: "500"
-          - key: swap-show-text
-            value: "false"
-          - key: thermal-display
-            value: "true"
-          - key: thermal-sensor-file
-            # See ~/.local/bin/gnome-system-monitor-set-thermal
-            reset: false
-          - key: thermal-show-text
-            value: "false"
-          - key: thermal-style
-            value: "'digit'"
         - dir: wsmatrix
           children:
           - key: multi-monitor