Microtonal support

I've been looking at Musescore support for microtonal tunings and broadly it seems "edit each note by hand or use a plugin" is the answer.

OK - but which plugin?

*MicroModulator appears to have vanished, and the issue tracker says it is deprecated/ no longer active post-Mar. 2024

*12/17/19 EDO hasn't vanished, and claims to be 4.x compatible, but when installed it's not delivering up the menu options advertised in the documentation. In fact, a window opens but remains grey without instructions/options. Like MicroModulator, the issue tracker says it is deprecated/ not available post Mar-2024

Are there any others that anyone with recent experience can suggest? I think the manual editing sounds a bit depressing...

I'm running an up-to-date M4 as at 20th Nov 2024