[Lurie develops in Section 3.1.2 of Higher Algebra](https://people.math.harvard.edu/~lurie/papers/HA.pdf#page=329) a notion of operadic left Kan extension used to compute free algebras, giving a left adjoint $\mathrm{Alg}_{\mathcal{O}}(\mathcal{C})\to\mathrm{Alg}_{\mathcal{O}'}(\mathcal{C})$ to the forgetful functor $\mathrm{Alg}_{\mathcal{O}}(\mathcal{C})\to\mathrm{Alg}_{\mathcal{O}'}(\mathcal{C})$ associated to any map of $\infty$-operads $\mathcal{O}\to\mathcal{O}'$.

There's a number of constructions in the $1$-categorical setting that resemble this notion a bit, including [monoidal Kan extensions](https://mathoverflow.net/questions/205838) (see also [here](https://hal.archives-ouvertes.fr/hal-00339331/en/), [here](https://arxiv.org/abs/1511.04911), [here](https://arxiv.org/abs/1406.6994), [here](https://arxiv.org/abs/1809.10481), and [here](https://mathoverflow.net/questions/364575/left-kan-extensions-of-strong-monoidal-functors)) and [multicategorical Kan extensions](https://mathoverflow.net/questions/161912/multi-categorical-left-kan-extensions). However, (as far as I understand) these don't quite capture the general notion developed by Lurie.

Is there a detailed treatment specifically for $1$-categorical operadic left Kan extensions somewhere in the categorical literature?