Nexus 10 Miracast WiFi display sharing?

view full story

http://forums.androidcentral.com – Android 4.2 supports Miracast and it was announced pre-release that the N10 would support it. But then when it was released it was said that it would probably be coming in a future update. ... Anyone have any info on this? (HowTos)