Make ignored.txt loading case-insensitive.