docs: fix case-sensitivity explanation in highest-available-document-mode#6029

rajucreate wants to merge 2 commits intowebhintio:mainwebhintio/hint:mainfrom

rajucreate:mainrajucreate/hint:mainCopy head branch name to clipboard