Hola:
Justamente participo en ese mensaje que nombras, y no se usa ninguna librería especial sino ajax básico (el objeto XMLHttpRequest)... creo que es suficiente para lo que necesitas. Claro que si no interfiere en tu código y te resulta útil puedes usar la librería que mejor te sirva.
Saludos
