> If there are no objections, I'd remove the two pages mentioned above > by the end of the week. What do you think? I think I found those pages recently too, and I'm all for deleting them. They will get out of date again, even if someone would update them now. Cheers!