I assumed @pat doesn’t want his Tinderbox $Tags in DEVONthink, as I do. This is why I was hoping to modify the script myself. But I can’t. Therefore, I follow your suggestion and hope he can take into consideration to add this feature to the script in the future, as I think it would probably be useful for other users.
Alternatively and although I so far have a minimal grasp of Tinderbox export (just enough to have set up a few simple templates), I do wonder if it would make sense for Tinderbox to add a specific export ^action or ^value to easily transform #Tags into Finder tags?