Control: severity -1 serious I expect that we'll do the GNOME Shell 50 transition in the next few weeks. I'm raising the severity of this issue to make that transition easier. Thank you, Jeremy Bícha