Changes

Optionally, one may add the name attribute by using <tt><nowiki><ref</nowiki> name=''name''>''details of the citation''</ref></tt>. Thereafter, the same footnote may be used multiple times by adding <tt><nowiki><ref </nowiki>name=''name''/></tt>.  Note well that named references begin with <tt><nowiki><ref</nowiki></tt> instead of the usual <tt><nowiki><ref></nowiki></tt>.