Who was Tim Peters: the early Python mythical creature; the “channeller” of Guido?