> This might also be the right time to open an infrastructure category for > credits, where we can include Derick, who suffers from a lot of work due > to phpdoc problems :) And maybe livedocs hackers can also be credited there.
Yeah, I think that's a good idea. Perhaps docweb, livedocs, builds, and scripts. S
