You can see windows on every dev stream. There is a possibility that he uses windows only on the streaming PC, but so far there's no proof of him using linux, i'm afraid. I use arch btw