Run the UI files through `gtk-builder-tool simplify --3to4` to update the layout properties.
We were computing the wrong progress, in particular when the iteration count was non-integer. Test included.