@fosco: Yes, I saw that note - it seems to say something about when the ordinary kan extension is also a "lax monoidal kan extension" - but I'm not having much luck figuring out if it's also strong when you extend a strong functor