+\change_deleted 5863208 1693593461
+
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+
+\change_inserted -1463541724 1693568855
+Changed the fontface of the names in this footnote according to section 2.2.
+\end_layout
+
+\begin_layout Plain Layout
+
+\change_inserted -1463541724 1693568875
+Now ALL names in this document use the same fontface.
+\change_unchanged
+
+\end_layout
+
+\end_inset
+
+
+\change_unchanged
+