make searches literal by default
remove useless subheading for “Mappings”