Los cambios se guardan en este navegador. Para hacerlos visibles en la web,
pulse «Publicar cambios en la web»: la página pública se actualiza sola en 1-2 minutos. La
publicación elimina automáticamente los nombres de los tutores, que solo permanecen en
este dispositivo. La primera vez pedirá el token de GitHub; después no.
«Exportar JSON para publicar» descarga el mismo archivo (por si prefiere subirlo a mano);
«Copia completa (con tutores)» genera un respaldo local que no debe publicarse.
Olvidar token de este dispositivo