In Proposition 5.5.7.6 of Lurie's Higher Topos Theory, Lurie states that the $\infty$-category $\operatorname{Pr}^R_{\omega}$ of compactly generated $\infty$-categories and filtered-colimit-preserving right adjoints is closed under limits in $\operatorname{Cat}_\infty$. I would like to understand some detail of the proof.

Lurie says that most of the proposition follows from Theorem 5.5.3.18, which states that the inclusion $\operatorname{Pr}^R \subseteq \operatorname{Cat}_\infty$ is closed under limits. However, as $\operatorname{Pr}^R_{\omega}$ does not seem to be a full subcategory of $\operatorname{Pr}^R$, I don't understand why the result of 5.5.3.18 gives us that the adjunctions $F_\alpha: \mathcal{C}_\alpha \rightleftarrows \mathcal{C}: G_{\alpha}$ appearing in the proof of 5.5.7.6 correspond to morphisms in $\operatorname{Pr}^R_{\omega}$, i.e. why $F_{\alpha}$ preserves compact objects/$G_\alpha$ filtered colimits. Trying to trace back through the results leading up to 5.5.3.18, I get the impression that the fact that $G_{\alpha}$ is accessible in the proof of 5.5.3.18 indirectly relies on Proposition 5.4.7.7, which says that any right adjoint is accessible. However, this proposition uses that we may choose the regular kardinal $\kappa$ as high as we wish before showing that $G_{\alpha}$ is $\kappa$-continuous, and in particular cannot be applied if we wish to show this for $\kappa = \omega$.

**Question:** Why do the maps $G_{\alpha}: \mathcal{C} \to \mathcal{C}_{\alpha}$ appearing in the proof of 5.5.7.6 preserve filtered colimits?