On 08.11.2011 20:08, Peter Korsgaard wrote: > Last time we wanted to remove it (~6 months ago) people were > complaining, so I prefer to keep it for now. Undeprecate it then? Regards.