On Wed, 24 Jun 2015, Lucio Chiappetti wrote: > far. The difference between a plain convention, a "registered convention" and > a "standard convention" is I forgot to write that some people may think a "registered convention" has a lower standing wrt a "standard convention", and therefore may not feel inclined to use it.