Footnote size is larger on master (\normalsize is prepended)

[Jean-Marc Lasgouttes]

Le 30/12/2021 à 17:30, Scott Kostyshak a écrit :
> On Tue, Dec 28, 2021 at 09:44:27AM +0100, Jürgen Spitzmüller wrote:
>> Am Montag, dem 27.12.2021 um 22:00 +0100 schrieb Jean-Marc Lasgouttes:
>>> Good news. Still, I'd like to hear Jürgen's thoughts on that.
>>
>> Go ahead. If it's carefully tested I have no objections.
> 
> JMarc, I suggest you commit. It has passed the ctests last time I tried
> it, and it passed the manual diffpdf checks we did.

Thanks. I just did that and further fixed greyedoutnote to reset font 
size too.

We may still have an issue with inset that do not inherit font but only 
font size. We do not support this transparently.

JMarc