​What's the most popular Linux of them all?

The data's messy for picking out the most popular Linux distributions, but there are some things we know we know.