So now I found and fixed two bugs. One is more of a lapse, there is a rewrite which should not be there in the more recent version. Another is a modification which messed with terms with free variables.
As I don’t have the desire to feed microsoft via github, better if you just send me a message asking for the latest news, or perhaps with suggestions if you think you found another bug.
Why would you need that, yeah is better to tell me that, too.
Because either I keep it for myself, or something is done in a collaborative way. Or go your own ways, which are verified to not work, but you want to do them anyway? Relax and peace.
UPDATE: the correct chemSKI with tokens available from my page here.
chorasimilarity 