Let $G: \mathcal{A} \to \mathsf{Set}$ be a functor. Recall that the _category of elements_ $\mathsf{el}G$ is defined by the comma square

$\require{AMScd}$
\begin{CD}
    \mathsf{el}G @>!>> \ast \\
    @V U_G VV \Downarrow @VV \Delta_\ast V\\
    \mathcal{A} @>>G> \mathsf{Set}
    \end{CD}

where $\ast$ is used to label the terminal category and $\Delta_\ast$ is the functor that is constant at the terminal set.

But there is another key universal property of this diagram: it exhibits the left Kan extension $ G = \operatorname{Lan}_{U_G} (\Delta_\ast !)$. This fact is key in the reduction of weighted colimits to conical ones (as explained [here](http://mathoverflow.net/a/219263/2362)).

It's easy to verify that this is a Kan extension directly, but it's a bit mysterious, because arbitrary comma squares are _not_ Kan extensions (for example, the same square in $\mathsf{Cat}^{\mathrm{co}}$ doesn't seem to be a left Kan extension). So what is going on here? Why, conceptually (by which I suppose I mean: 2-categorically) is this particular comma square also a Kan extension triangle?