Este último se convirtió en .WK3 para la versión 3.0 y finalmente en .WK4 para la versión 4.0.