Sin embargo, estos archivos todavía utilizaban la extensión de archivo ".