As I also have written in a previous comment this issue has been fixed in the CVS Tilda. However, this incorporates quite a few changes so that it is not a trivial task to commit the fix to our package as well.
As I also have written in a previous comment this issue has been fixed in the CVS Tilda.
However, this incorporates quite a few changes so that it is not a trivial task to commit the fix to our package as well.