Does anyone know what precise statement Lurie had in mind in HTT Rmk 6.3.6.5? Also, is there a relationship between the algebraic/fully faithful factorisation of a morphism f of topoi in 6.3.6.2 and the relative shape of f seen as a pro-object in the target?