philo wrote:

When I later brought that first machine back into service and installed
Win10, it came up as activated.

I wouldn't risk having the same product key on the two machines, no need
in my case.