Back in 2007 a Linux user wished on a monkey’s paw that Linux would be the most popular operating system in regular use, and then Android was unveiled.