Pues nada, instalando la 4.13, y al "baúl " la 4.12.
Como bien dice Pil, esos trucos habrá que transmitirlos al pueblo.
Viendo un poco el panorama de HL: Es verdad que algunos servers se mantienen fieles a la 4.12, pero se empieza a ver el cambio a la nueva versión en otros, creo que a corto plazo la 4.13 la habrá desplazado.
Saludos,
Pd.: ¡¡Ahora solo queda desoxidarse!!.