Pues acabo de intentar 2 cosas y ninguna ha resultado:
Sobre el original (parte del GET de la función procesaajax)
Código PHP:
document.getElementById(obj).innerHTML = xmlhttp.responseText;
He transformado a:
a)
Código PHP:
document.getElementById(obj).innerHTML = xmlhttp.responseText.tratarResponseText();
b)
Código PHP:
xmlhttp.responseText.tratarResponseText();
En la opción a) sigue haciéndo lo mismo de siempre (es lo que ahora está subido en la dirección que te dejé antes), en la opción b) sencillamente carga, pero no interpreta nada de ajax, no me deja pasar a ninguna otra sección empleando llamadas sobre AJAX.
La única novedad es que he localizado un pequeño error sobre la anterior, y es que no tenía subido el archivo externo.js (el que también empleas en tu tutorial), pero no creo que importe demasiado.