Just did. Thanks! Regards, Kees On 23-01-2020 06:28, Wouter Verhelst wrote: > Please file a bug against the package asking for an update to stable, > explaining that only those files need to be updated.