[pdftoolorg]

Thanks for your feedback! We just published a new version. I hope it is now fixed.