Unless they upgrade the same way they downgraded,

or an installer does it for them.

See above post.