> >> They are all present in my next branch. The fix that Wolfram sent on
> >> top, is added immediately after the commit it fixes.
> >
> > Could we also squash it, then?
> >
> 
> If Wolfram is fine with squashing,
> that would be cleaner.
> 
> In that case, can you add Tested-by
> to patch 12?

Yup, sounds best to me.