yep, but the number creates the user pressure on the dev to label it in a NIP otherwise users don't know what those are. 

Usually pro users are quite vocal and can be pretty annoying about these things. 

Useless kinds will remain undocumented, but they are useless, so who cares.