title: No GitHub in Intellij IDEA VCS > Checkout > Menu
body: <p>One of my Intellij IDEA (Community Edition, Linux) installations (out of all my v2017.3.4 installations) is missing GitHub from its VCS > Checkout from Version Control > [types] menu. It's got CVS, Mercurial, Subversion but not GitHub. How do I get GitHub in there and use it?</p>
  
  <p><a href="https://i.stack.imgur.com/Z8pHU.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/Z8pHU.png" alt="VCS &gt; Checkout &gt; menu no GitHub"></a></p>