Hi all, for the record I tried to work on this back in 2013: https://github.com/giordano/auctex/commit/9c0eb5d4f2f82f4ff22683ef218727b6a45ae54d (I believe this was based on a previous attempt by Ralf Angeli, but I can't find a reference for this). I'm pretty sure I didn't push this forward because I faced some fundamental challenges that would have made the functionality only half-baked. Probably Keita identified some of those issues.
Bye, Mosè
