Use more recent version of Python for documented examples