<piegames[m]> jtojnar (IRC): Pinging again for the Gnome extensions, how do you gauge the current situation? I can get the PR up to date if you think it might be possible.