> > Two bugs were fixed in the meantime:

And a fourth one:

- fixed: sometimes, a double request was issued to update a broken file