En la versión 2.0, la extensión cambió a .WK1, para luego pasar al .WK2.