Pushing new examples.scrbl