You are absolutely right, your docker your rules.
I just wanted to draw your attention to the fact that there is obviously a not minimal part of the user community that reacts very allergically to such interventions in their beloved UI. Maybe you could give this user group a toggle button that lets your plugin use the default font.
Because I am convinced that most programmers who develop software for the public have an interest in their software being used by as many users as possible.
I’m not trying to dissuade you, I just want to make you aware of the possible difficulties, I myself have no interest in creating pixel graphics, the look and feel of your plugin wouldn’t bother me.
I have also become aware of another special case. There are users who are dependent on particularly legible fonts due to a visual impairment. Not knowing what your font looks like, I can only say that this “could” be a problem.
What you should think about is the scalability of your font. Not every font is scalable over a wide range, and not every user has set the same font size. Your font should work on monitors from 1024x768 pixels to at least 5120 x 2880 pixels, the latter resolution is already not uncommon in Apple user circles today, so you will probably need more than one size of the font. And I don’t know how long it will be before 8k displays are used on a larger scale in the graphics sector, because we artists in particular can rarely have “too much” display area. I, for instance, use 16 pixels, instead of the standard of 9 pixels, and there may be even larger differences in the size.
Michelist