Didn't see it in bugtracker...
I'm not digging through forums to find evidence of naming conventions being dismissed for x reasons... What a waste of time.
The way missions are named and how they are named are two different things. Ok.
Pretty sure this was brought up in early 2016, that it didn't require renaming all the individual missions to reorder the list - think it was forum mod and not coder who replied, though - so probably you are right that it was not "dismissed" by the "right" person.
Alex: I like people changing stuff and kicking stuff so it works better. The more noise and swearing, the faster, the better. Nit-picking over semantics, on the other hand...
(sounds like you gotta clean your kitchen more often, mate, gross ).
I'm still for mappers making use of the campaign function available for nested campaigns, but... oh... most apparently don't know about / implement it because it's in the RTFI wiki section.