I've updated the phrasing so it says "Re-enable case-sensitive search over case-insensitve or smart-case search".