>>>The code which prefixes everything with "m." in Thor right now could be extended to also record this data to a table. And a simple SQL SELECT statement at the end would list any collisions.
>>>
>>
>>If this issue is so important to you and the amount of new work, as you say, "would not be significant", I have to wonder why you have not already created it.
>
>Kinda sounds like people should submit patches, not suggestions, for Thor. Is that what you meant?


No, not at all. The Thor forum is a contributory forum. Comments, suggestions, hints, bug reports, etc are all encouraged. (OK, so bug reports are not always welcomed with open arms)

But the tools that Thor provides are created by contributions of those who are interested enough to do so.

What we really like are threads that begin with suggestions that include "and I am gonna work on this (with the help of anybody interested) to make it happen."