Is the Linux desktop becoming extinct?