text: function agregarExtras() {
     this.register("instalaciones", {
        attr: "inst",
        // opts: {inst: ["piscina", "sauna"], inv: true}
        func: function(idx, inst, opts) {
           return !!(opts.inv ^ opts.inst.includes(inst[idx]));
        },
        apply: (o, n) => L.Mutable.utils.compareOpts(o, n, Object.keys(general.tipos))
     });
  
     this.register("actividades", {
        attr: "actividades",
        // opts: {act: ["nlibre", "mlibre"], inv: true}
        func: function(idx, act, opts) {
           return !!(opts.inv ^ opts.act.includes(act[idx]));
        },
        // En realidad, sólo interesa conocer cuántas actividades son en total.
        apply: (o, n) => L.Mutable.utils.compareOpts(o, n, {length: 7})
     });
  }
  
  
  function crearControles() {
     const container = L.DomUtil.get("sidebar");
     // Podríamos hacer otro tanto con las actividades.
     container.appendChild(crearGrupo("correct:instalaciones", {
        titulo: "Desechar instalaciones",
        field: "inst",
        items: inst
     }));
  }
  