Did you three friends move to Linux? You said Windows twice and I'm curious what they actually switched to.