> FWIW, I actually considered it when Juanma asked for better names, but
> eventually decided that such names will be too obscure, except for few
> initiated people.  I think -M and -N is much easier to understand and
> remember.

The more I think about it, the more I like "major tick" and "minor tick". They are a bit obscure, yeah. OTOH, they reflect exactly what the feature is intended to do (at least,what I intended it to do), and "major" vs "minor", and its association with rulers, clearly states that major ticks have precedence over minor ones.