Doc

Port more documentation to xdoc, mostly in the misc directory