Microsoft says our most popular server product runs on Linux