Is the sarcasm from van Rossum or PG? If Rossum I find this quote much more interesting. :)