GNOME Web is getting extensions! Dropping X11 for GTK5, Raspberry Pi introduces a $6 Pico, and is it time to give up on Github?