It is fixed in this branch on git:
https://github.com/karlproject/karl/tree/ree-fix-tagbox
... the rest is what I wrote previously
It is fixed in this branch on git:
https:/ /github. com/karlproject /karl/tree/ ree-fix- tagbox
... the rest is what I wrote previously