Gnome Shell extension allows creation of Picture-in-Picture (PIP) for any windowgithub.com/G-dH1 pointmarcodiego2 years ago