Am 18.09.2020 um 16:04 schrieb Riccardo (Jack) Lucchetti:
 On Fri, 18 Sep 2020, Riccardo (Jack) Lucchetti wrote:
> Thanks Yiannis, I'll try to fix the package asap.
 I just uploaded a revised version of the package. It should be available
 in a few days at the latest.
 
This (v3.1) is now online.
I'd like to encourage everyone to post bug reports about packages like
Ioannis did with this one.
cheers
sven