On 2023-01-31 09:11, Pádraig Brady wrote:
> To me --update is less useful if it fails in this case.

Fair enough, I installed the attached to revert the --update part of the 
change, so that --update will work as before.