Microsoft added a couple of new Christmas themed HTML5 demos to their IE9 test drive site which included Vorbis audio in addition to the AAC audio in the audio tags. They've since modified both demos to remove the Vorbis audio. It seems Microsoft is happy to use Vorbis in HTML5 pages internally, just not publicly.