Use HTTPS URL to git repository

(so that it works both with git and as a hyperlink on Hackage)
Allow text < 1.2