I wonder if anyone has thought of starting a Github repo of a JS library that follows the pattern defined on the Karaoke Web Standards site? Could be a fun project. Using the plethora of HTML5 API's available, I wonder if you could get close to a working karaoke prototype using HTML5 audio and video API's?
The Microsoft you speak of is the one that existed a decade ago. It has changed significantly in recent years. Its the one leading the design with skeumorphic layouts. Has some of the coolest products out there. They may not be financial success, but very well designed.
https://www.youtube.com/watch?v=EUXnJraKM3k
Thankfully MS have learnt a lot of lessons since.