On Thu, 2003-07-31 at 15:49, Colin Walters wrote: > But if a lot of people don't like it, we can think about removing it... I changed my mind, it's removed now in CVS by default.