This is mainly a bug fix release based on user feedback.
- bug fixes affecting history navigation and viewing search results
- add language selector
- support copy&paste in visual editor
- exclude nested divs in search to get more correct search results
- fix parsing of processing instruction: depth and fill should be numbers