The companion gnome shell extension for super productivity - View it on GitHub