Mass update of doc/ documentation.