Bueno, encontré cómo activar las extensiones. Tan sencillo como pulstar la tecla "Alt" en cualquier ventana para activar el antigüo menú de "archivos, herramientas, etc" a partir de ahí, lo de siempre, herramientas, ver, mostrar extensiones de archivos conocidos. Lo pongo por si alguien se halla...