> > Shall I throw this into the Collector? > > Probably. I made a comment on the page itself, just a couple of days ago, > but it's unknown how often those comments are reviewed: They're not reviewed often by the editors, but they sure help folks who read them in the meantime, so I encourage folks to add comments to the Dev Guide when possible. - C