Guido wrote: > PEP time? yes (based on this mail + your previous mail). I can write the code if someone else writes the PEP... Cheers /F