After visiting the Mozilla meetup, I decided to give the Firefox Developer Edition a spin. Pretty smooth sailing so far. However, there was one minor glitch and it wasn’t immediately obvious to me, how to fix it: I could not set the Developer Edition installation as my default browser in Gnome (with Gnome Shell on […]