On Sun, Aug 9, 2015 at 2:44 AM, Nicolas Goaziou <m...@nicolasgoaziou.fr> wrote: > Anyway, the following should do:
That works perfectly. Thank you. Tempted to run it in a on-save hook just to ensure that the document *always* has IDs. At least for tangle comments.
