Comment by nurettin

I do this because I don't want to rely on others for my basic needs.

https://github.com/nurettin/gnome-extensions-topterm

https://github.com/nurettin/gnome-extensions-toptop