If it bothers you that much then use git instead:<p><pre><code>    git clone https:&#x2F;&#x2F;github.com&#x2F;Kinto&#x2F;kinto.git
</code></pre>
But what you&#x27;re complaining about has been an option on Github for years.