sticky-r-terminal Sticky R Terminal GNOME Shell extension https://extensions.gnome.org/extension/3916/sticky-r-terminal