Question: What should I do to replace just a small portion of the file `workbench.desktop.main.js`?

[septsea]

Well, I think I need some help (even though my previous question was ignored but now I solve it partly).

I wish to change the fonts of the interface of VSC. I am using Windows 11.

Suppose that I wish to replace the Segoe fonts by Comic Sans MS (I do not really like it; I just use it as an example). The following code replaces the fonts in most of the places by Comic Sans MS.

.windows {
    font-family: "Comic Sans MS", sans-serif !important;
}

Nevertheless, the fonts in pages such as Release Notes are not controlled by CSS. I find that modifying workbench.desktop.main.js (which is in the same directory as workbench.desktop.main.css) works. Specifically, first, go to the 912th line. Then, replace '"Segoe WPC", "Segoe UI", sans-serif' by '"Comic Sans MS", sans-serif'.

(I have multiple versions of VSC.) At last, save the file and restart VSC. Open Release Notes and the fonts are really changed.

This approach is direct but tiring. I have to modify workbench.desktop.main.js manually whenever VSC is updated. (I use VSC Insiders, too.)

My question is whether there is a way to modify DEFAULT_FONT_FAMILY by monkey-patch.

Thank you in advance.