Да, вы не ослышались. 9200.16384.120725-1247 – это действительно первая сборка Windows 9, а не очередной RTM-кандидат Windows 8. Финальный билд Windows 8 имеет порядковый номер 8888 (8888.16384.win8_rtm.120724-1555).