Some (sad) numbers on how Linux desktop adoption is going