kib48, 6 months ago theres an extension for that extensions.gnome.org/extension/4691/pip-on-top/
theres an extension for that extensions.gnome.org/extension/4691/pip-on-top/