[OJFord]

Right, sorry, I meant to say 'public'. And I don't see that it is beside the point, because there's no other relevant and public repository that I can identify - no github/terms or whatever.

[Gaelan]

I was saying my own comment was beside the point.