That's what I was already looking at, thanks. I just can't see many commits / much activity at all. Which repositories is the work being done in, please? Like I said, I'm a bit rusty on Github so I could just be missing something obvious but from what I've looked at so far yesterday (all repositories I could find) there's not even the equivalent of one developer working full-time. Very happy to be corrected as I'm theoretically very interested in your proposition. Can you please point me in the right direction? Thanks.