According to ChatGPT, MS4 can do mictones, but I don't see how.

Here's what ChatGPT says:

MuseScore 4 does have support for microtonal notation, but it may not be immediately apparent how to use it. Here's how you can notate microtones in MuseScore 4:

Select the note or rest where you want to add a microtonal symbol.
Right-click on the selected note or rest and choose "Note Properties" from the context menu.
In the "Note Properties" dialog box, click on the "Accidental" dropdown menu and choose "Other" at the bottom.
In the "Symbol" field, you can enter a Unicode value for the desired microtonal symbol. For example, you can enter "U+2669" for a quarter-tone sharp (♯̸), or "U+266A" for a quarter-tone flat (♪̸).
Click "OK" to close the dialog box and apply the microtonal symbol to the note or rest.
You can also create a custom palette of microtonal symbols for easy access. To do this, you can follow these steps:

Open the "Master Palette" by clicking on the "Palettes" button in the toolbar and choosing "Master Palette" from the dropdown menu.
Right-click on an empty space in the "Master Palette" and choose "Add Palette" from the context menu.
Give the new palette a name, such as "Microtones".
Drag and drop the desired microtonal symbols from the "Symbols" section of the "Master Palette" onto the new "Microtones" palette.
Close the "Master Palette".
Now you can access your custom microtonal palette by clicking on the "Palettes" button in the toolbar and choosing "Microtones" from the dropdown menu.