In /topics/command-tips.md the following passage introduces uncertainty:
Command tips are arbitrary strings. However, the following sections describe proposed tips and demonstrate the conventions they are likely to adhere to.
(emphasis added)
I suspect this wording is left over from before the feature was implemented. The passage should be revised to be definitive.
In
/topics/command-tips.md
the following passage introduces uncertainty:(emphasis added)
I suspect this wording is left over from before the feature was implemented. The passage should be revised to be definitive.