Windows 10 refugees flock to Linux in what devs call their “biggest launch”