So far I have an ok from daniel@ for both, and with that I would like to remove both sometime this weekend. Any objections?
Before acting too rashly (erm), here's a reminder about removing
lang/camlp4 and lang/camlp5.