Fix #3071: cache location documentation