I'm running Gnome 3 (on 20.04) and I generally like it...but I wish I could say I didn't have any issues with extensions. They've been so hit or miss. On the bright side, I've learned how to install extensions from GitHub because Gnome can't seem to cope with updates.

I'm glad Pedro digs the velcro things. Keep up the good work!