Fix Bug #538; Auto-completion now ignores case for non-ASCII letters.
Authored by: david_costanzo 2020-04-17
Parent: [r5207]
Child: [r5209]