How to generate playground

Every time you change the sources:

./generate-playground.sh