Big update: new theme, more walkthrough options, include annotated source
generated by groc