Hello,

my apologies for answering you so late. In the latest release, 23.3 for
Windows
the monospace font has disappeared, so I am unable too to reproduce the
problem.
I think you could close the bug ticket.

Thank you
-Angelo Borsotti