2 ms·

That's really just a formalization and documentation of the way things are named now. I don't think it precludes renaming some things in the long term.

• Ericson2314 4y ago
  Yes I discussed with those people while this was happening and it is exactly true.