Jeremias Maerki wrote: > Ok, I'm planning to do this on Saturday. I was hoping to get a comment > from Luca since he said he's working on footnotes and I don't want to > make his life harder than necessary.
Oops, sorry, I did not mean to delay the merge!
I still have to solve some problems concerning the footnote separator, so
I'll apply my changes after the merge.
Regards
Luca
