Extract some examples to Examples.md