Dev eric

push includes the following updates:
- improvements to the search system
- improvements to site localization