Isuue #93: Case-insensitive Search/ReplaceAll, Editor save-on-exit