Hi all, I just installed Ubuntu 23.10 and it comes with gnome 45. Installed gnome web 45 and I was thinking that I can install ublock origin, but the option is not there. I thought this was there since gnome 43? Gnome isn't my daily driver, so I don't know much about its latest updates. So, is there a way I can add extensions to the browser? Or is it hidden somewhere? I remember it was on the beta 43 and 44, but this is 45, so shouldn't it already be there? Thanks