> :)Bingo!  Now to get the doco updated to mention this.
> 
> I'd appreciate if someone else could take care of this -- I don't have
> network access from home anymore.

Kind of done.  I filed two PRs against the web pages (which was a little 
tricky since there isn't a web page category :-).
	
Andrew