Remove redundant feature check
Rename prelude-ido-goto-symbol to prelude-goto-symbol
Fixed typo for keyboard shortcut in Readme
Merge pull request #696 from helgeblod/upstream

Fixed typo for the keyboard shortcut for running tests in the Readme
Merge remote-tracking branch 'upstream/master'
Rename