Several emails from microsoft.com addresses to @WHATWG lists today. Has the fifth major browser vendor decided to get involved with @WHATWG?