By the way, on the topic of naming, the naming of a Noise protocol doesn't include the HASHLEN variable, which would make two protocols using the same set not being able to converse because of a different HASHLEN. Is this a problem?