More documentation on the search bar, new shortcuts

Authored by yurchor on May 20 2018, 7:28 PM.