Literature about the category of finitary monads

Question

This answer states that the category of finitary monads is locally presentable and monadic over the category $\mathrm{Set}^{\mathbb{N}}$. Where can I find proof of this claim?

More generally: I've looked through the literature in nlab (finitary monad, monad, Lawvere theory) and found nothing about this category other than a proof of its equivalence with the category of Lawvere theories (written in several places). I would welcome links to any literature that discusses this category in more detail.

Answer 1

These claims are proven more generally for the category $\mathrm{Mnd}_f(\mathscr A)$ of finitary monads on a locally presentable category $\mathscr A$ in Lack's On the monadicity of finitary monads. (This is the same Lack as in the linked answer.)