No, what i was trying to say was, the general terms do not apply to EDU versions. I was not saying you can install it only on the first computer it originally was installed on. But you can not install it on up to three computers at the same time, like the regular version.
Where I might have mixed up the term “another” and “a different” computer,
If anything, hed have to unregister his current pc and register the new one. That should only be the case if the educational version uses the software eLicenser, though.
No, that should also be the case, if he uses any EDU version, as you quoted above…