Actually, I would definitely love to know the answer to this and to know
how to automatically revert a buffer when the related file has been
updated.

--
Olivier