I guess it was lost among the changes... I'll search for the relevant part, and post it here.