[CM] s7-playground (interactive tutorial) update

[bil at ccrma.Stanford.EDU]

Now that I've used it a bit, I have to agree that gitlab
is a much better interface; but I don't see any point in
the numbered star -- is this a popularity indicator?