Remove from examples.py all the ones that have been put into the PEP proper