Coming back to #2100, I still think that it's not intuitive to have --mnum-interval 0 to just have the default behavior. Why then need an option at all? Usually we use options to change default behavior, not to keep it.
Furthermore, there is currently no other possibility to turn measure numbers off, except by hard coding outside of Verovio.