Make it clear what CIF stands for

It was brought to my attention that it is difficult to find what CIF stands for, namely 'Compositional Interchange Format (for hybrid systems)':

• The most prominent place we indicate this, is at the start of the CIF language tutorial.
• The only other mentions I could find in our entire repo are a reference to a paper in a comment of the CIF to UPPAAL transformation, and the CIF metamodel documentation title. Our users are not going to find these.

Should we make it more clear what CIF stands for on the website? Clearly, since I was asked about it, users want to know. However, I'm not sure it helps them much in knowing. The 'interchange' part is not really a focus anymore. We do still have a compositional semantics, for the most part.

What do you think?