c9f4e32a

By: Lucien Huber <im@lcnbr.ch>

document documentation cache reuse measurement

User request: does it not make sense to use dev here? We do not need to run tests. (I agree therefore with 1). for 2,3,4 do it and then evaluate/measure and time whether it actually helps