Fix Issue 8103 - Use case-insensitive sorting for Jump-to lists in the documentation.
Merge pull request #560 from AndrejMitrovic/Fix8103

Issue 8103 - Use case-insensitive sorting for Jump-to lists in the documentation.