Fix a long-standing bug where the user directory search was not case-insensitive for accented characters.
