Documentation for preferences

case_sensitive is true by default