Let's close this. All pending issues seem to have been fixed, and the gtk3 switch happened a long while ago.