Do you think a NIP-string format still makes sense though? Numbered nips when we already have numbered kinds seems a little vain