Oddbean new post about login | logout I assume this is just for hardware buyers, not OS users?
Hardware buyers already have a redemption code, so it's free. DIY users, people who installed the OS on their own hardware, can purchase a code if they want.