Does that mean you'll issue a 1.19.1 before you enable auto-update?

Yes, that is the plan right now. Still waiting at least until Monday to see if anything else pops up. But I think the Gnome issue is enough to justify a patch release,