Ask HN: How many people have actually upgraded from windows 7 to windows 8.

Now that windows 8.1 has been released, how many of you guys who actually code have switched off of windows 7 to move to windows 8.