ui: use standard gtk+ spinner
ui: minor headerbar adjustments