Can't find any reference to it other than the website, which makes it sound very interesting:
"pi-topCODER is an interface that allows you to access all Raspberry Pi resources as well as worksheets created by educators from all over the world. It will teach you to code, track your progress and test your code in real time"
Maybe I missed some detail. Thanks in advance to anybody who could correct me where I am wrong.