better documentation of the documentation module.