I think when you retire or sell a machine you want to log every user account out of iCloud separately. Otherwise machine remains as a ghost. Or users can go to iCloud.com and remove items from “My Devices”.