tiny subscript nearly illegible

[DanGrayson]

My eyes can't really make out the tiny subscript on the BF here:

[marcbezem]

I have no objection to slightly enlarge it, and Pierre is the most competent one to do that. It should, however, not become footnote size, as that was ugly and distracting. After all, we allow to leave it out, so the problem is that if you don't see it clearly, you don't recognize it as something that could be left out, and you are left with the worry that you may miss something. Modern lingo for this mental condition seems to be FOMO (fear of missing out :-)