added manual pages for the new extensions