document.dox: update the documentation for the new APIs