Improved the quick search (press the / key on most web pages in Micro.blog) to better handle keyboard selection, added more locations to jump to.