Thanks Stéphane, that was fast.
However, I think this means that I’m going to have to use the devel version in git to make a snapshot? Is there some temporary workaround I could deploy? This is a production system, so I’d prefer to stick to released versions of the code.