Added substring history search, and small other options.