Let $\mathrm{CombModCat}$ be the category of combinatorial model categories with left Quillen functors between them. By Dugger's theorem and the appendix of Lurie's "Higher Topos Theory" it ought to be true that its localization at the class of Quillen equivalences is equivalent to the homotopy category of presentable $\infty$-categories with left adjoint $\infty$-functors between them:


$$
 \mathrm{CombModCat}\big[\text{QuillenEquivs}^{-1}\big]
 \;\simeq\;
 \mathrm{Ho}\big( \mathrm{Presentable}\infty\mathrm{Cat} \big)
$$


Has this been made explicit anywhere, in citable form?


Something close is made explicit in 


* Olivier Renaudin, "Theories homotopiques de Quillen combinatoires et derivateurs de Grothendieck" ([arXiv:math/0603339](https://arxiv.org/abs/math/0603339))


(thanks to Mike Shulman for the pointer!), where it is shown that the 2-categorical localization of the 2-category version of $\mathrm{CombModCat}$ is equivalent to the 2-category of presentable derivators with left adjoints between them. 


[edit:] By corollary 2.3.8, this implies that the 1-categorical localization of $\mathrm{CombModCat}$ is equivalent to the 1-categorical homotopy category of presentable derivators with left adjoints between them. 


The latter clearly ought to be equivalent to the homotopy category of $\mathrm{Presentable}\infty\mathrm{Cat}$, but is that made explicit anywhere?



Localizing $\mathrm{CombModCat}$ at the Quillen equivalences
The answer is affirmative and is provided by the paper
[Combinatorial model categories are equivalent to presentable quasicategories](https://arxiv.org/abs/2110.04679).


Among other things, it proves that the relative categories of combinatorial model categories, left Quillen functors, and left Quillen equivalences;
presentable quasicategories, cocontinuous functors, and equivalences;
and other models for homotopy locally presentable categories and homotopy cocontinuous functors are all weakly equivalent to each other as relative categories.
This also implies the equivalence of underlying quasicategories.


Additionally, combinatorial model categories can be assumed to be left proper and/or simplicial.
There is also an analogous statement for derivators,
which must be formulated as an equivalence of (2,1)-categories
due to the truncated homotopical nature of derivators.


