Question: should you be able to change the name of a builder by editing the typedef node?
It seems there is a system that disallows changing the name. It's just that the caching system seems to think that changing it is possible.
So never mind this.
-- Pierre van Rooden Mediapark, C 107 tel. +31 (0)35 6772815 "Never summon anything bigger than your head."
