or the 3rd option - as I said, create new MenuIcons plugin GitHub issue and its author most likely fixes it and publishes a new compatible version
Oh yes, of course, sorry. The third option is to create a GitHub issue which I’ve done. Here’s the link if anyone else should mention experiencing similar behaviour: