Are the main uses you see educational, mostly related to step-by-step evaluation or display of unevaluated forms?
Are there other uses, e.g. code generation that was more difficult with Hold? One difficulty I see with trying to use it for code generation is that when the head of an expression is compound, its body can't be held:
Inactive[head][ (* this can't be held *) ]
Perhaps the idea is to inactivate every single head in the expression.
I am aware that NDSolve has direct support for Inactive, described here. Does Inactive tie into other functionality anywhere else?
