Reverting pull and redirecting it to another branch

I want to keep the example as close to the blog post as possible.
Nevertheless, Lorenzos addition is a nice example of bootstrapping
a language with itself, so I pushed it to the bootstrapping branch.