Re: [DOCS] Documentation tools

[Robert Spier]

> I can possibly help it, so it's ok by me to delete lib/Pod, if that's 
> the consensus.

I'm not sure what the consensus is.  But we should probably come to one.

-R