Not much left to do: Convert the ui files, drop the GTK3 fallbacks, adjust CI.
This is on top of !19 (merged)