Re: [O] [PATCH] New option to create unique, random labels for footnotes.

[Bastien]

Hi Matt,

thanks for this set of patch -- I applied them.

-- 
 Bastien