Unless one wants to upload a patched package to the Debian mentors queue or have urgent need (which I doubt since this bug is opened since 2018).
I'll keep a note to address this bug for the next new upstream release bump. 4.0 was released in Aug 2020, so we could expect having a new release in a couple of weeks/months from now. Regards, Eric
