UG does not mention prefixes are case-sensitive, but the actual product's prefixes are case-sensitive.
UG does say that Some prefixes require the user to follow certain formats in their commands..

However, this may not be clear enough to users that prefixes are case-sensitive.
UG does not mention prefixes are case-sensitive, but the actual product's prefixes are case-sensitive.
UG does say that
Some prefixes require the user to follow certain formats in their commands..However, this may not be clear enough to users that prefixes are case-sensitive.