Fix repo name for plugin managers.
Exclude quickfix window.
Merge pull request #9 from bchretien/master

Miscellaneous minor fixes