So everything works as expected again.
But the bug is still there – maybe you can have a short look and (if not a Debian problem) push it upstream. But there is absolutely no urgency – I think this has been a extremly rare event.
Thanks for bringing the package into Debian. Great work! Best wishes Patrick
OpenPGP_0xBDDAAA4B5B0D663E.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature