A non-prorepresentable deformation functor

I've been teaching a topics course on deformation theory this semester; so far we've covered quite a few interesting things -- the Tian-Todorov theorem and Green-Lazarsfeld's generic vanishing theorem, for example.  I just wanted to use this post to record an easy and fun example that I wasn't able to find in the literature.

Question: What is a good example of a smooth projective variety $X$ over a field $k$ such that the deformation function $\text{Def}_X$ is not pro-representable?  Here $$\text{Def}_X: \text{Art}/k\to \text{Sets}$$ is the functor sending a local Artin $k$-algebra $A$, with residue field $k$, to the set of isomorphism classes of flat $A$-schemes $Y$ equipped with an isomorphism $\phi: Y_k\overset{\sim}{\to} X$.

Answer: Let $X=\text{Bl}_Z(\mathbb{P}^2)$, where $Z$ is a set of $10$ points lying on a line.

It's not totally obvious, of course, that this works.  The idea of the proof follows.  Given a variety $X$, we let $$\text{DefAut}_X: \text{Art}/k\to \text{Sets}$$ be the deformation functor sending a local Artin $k$-algebra $A$, with residue field $k$, to the set of isomorphism classes of triples $Y, \psi, \phi$, where $Y$ is a flat $A$-scheme, $\phi: Y_k\overset{\sim}{\to}X$ is an isomorphism of the special fiber of $Y$ with $X$, and $\psi: Y\overset{\sim}{\to} Y$ is an automorphism of $Y$ which is the identity on $Y_k$.

Proposition.  Let $X$ be a proper variety.  The functor $\text{Def}_X$ is pro-representable if and only if the natural map $\text{DefAut}_X\to \text{Def}_X$ is formally smooth.  (Here the natural map simply forgets the automorphism $\psi$.)

This is somewhat standard; it's an easy application of Schlessinger's criteria, for example.  One way of saying this is that given a small extension $$0\to I\to B\to A\to 0,$$ and a deformation $Y$ of $X$ to $B$, there's a long exact sequence of sets $$0\to H^0(X, T_X)\otimes I\to \text{Aut}^0(Y)\to \text{Aut}^0(Y_A)\to H^1(X, T_X)\otimes I\to \text{Def}_X(B)\to \text{Def}_X(A)\to H^2(X, T_X)\otimes I.$$

Here $\text{Aut}^0(Y)$ is the set of automorphisms of $Y$ fixing $Y_k$.  The fact that this is a long exact sequence means that the first four non-zero terms are an exact sequence of groups; that $H^1(X, T_X)\otimes I$ acts transitively on the fibers of the map $\text{Def}_X(B)\to \text{Def}_X(A)$, with kernel exactly the image of $\text{Aut}^0(Y_A)$; and that an element of $\text{Def}_X(A)$ lifts to an element of $\text{Def}_X(B)$ if and only if it maps to zero in $H^2(X, T_X)\otimes I$.  Now formal smoothness of the map  $\text{DefAut}_X\to \text{Def}_X$ is the same as surjectivity of the map $\text{Aut}^0(Y)\to \text{Aut}^0(Y_A)$ for all small extensions and all choices of $Y$.  This is the same as faithfulness of the action of $H^1(X, T_X)\otimes I$ on the fibers of the map $\text{Def}_X(B)\to \text{Def}_X(A)$, which is a restatement of Schlessinger's pro-representability criterion in our setting.

So why does our example $X$ -- namely, $\mathbb{P}^2$ blown up at a bunch of points all lying on a line $\ell$ -- have non-prorepresentable deformation functor?  The point is that infinitesimal automorphisms of $X$ are precisely infinitesimal automorphisms of $\mathbb{P}^2$ fixing the line $\ell$.  But if one moves the points to general position, the infinitesimal automorphism group becomes trivial.  So the map $\text{DefAut}_X\to \text{Def}_X$ is far from smooth.  Pretty easy and cool.

Is there a reference with examples like these?  I'm sure they're well-known, but I wasn't able to find any smooth proper examples in the literature.