now downloading documentation is side-effect free if source is not modified