A button on the Gnome-Shell top bar to launch System Monitor, raise the System Monitor window to the top, or move it to the current desktop. This extension requires the xdotool package; use 'sudo apt install xdotool' to install it.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.