Yes, exactly. Without knowing anything about the people involved I am (was) reluctant to invest further time and attention (I'm studying Category Theory right now with an aim to implement programming tools, so you can imagine I'm very interested!)

It's really great that you're addressing this. Thank you! ;-)