I wrote:

To have a comparison: I have not metered time spent hacking GPC, but in the last year it is probably equivalent to 2-3 months.

The above is about time _I_ have spent on GPC. I have not tried to quantify other contributions, so the total is much bigger. -- Waldek Hebisch hebisch@math.uni.wroc.pl