Imho this strain of discussion is to specific and to general at the same time:
Too specific, because it's only about a minor detail of the pitch, and too general, because naming rules should be consistent, and not only apply to a single case.
Therefor, I switched over to Using jargon in the name of the @derivative attribute
1 Like