This has nothing to do with Microsoft, any domains that are not listed at Sedo and you are trying to search for them. They would show on the right corner and once you click them, it will take you to a private service of Sedo where they charge I guess $69 to try to broker that deal for you + commissions ofcourse. It's a standard format and nothing to do with microsoft or there availability/non availability.
+ Micorosft doesn't need to own the other extension if they want, the other person would need to just give it to them for free without questions asked as its. Trademark.
Also with regard to holo, have you invested in it???