Upgrade links to https where possible

COPYING

@@ -355,7 +355,7 @@ The Free Software Foundation may publish new, revised versions
 of the GNU Free Documentation License from time to time.  Such new
 versions will be similar in spirit to the present version, but may
 differ in detail to address new problems or concerns.  See
-http://www.gnu.org/copyleft/.
+https://www.gnu.org/copyleft/.
 
 Each version of the License is given a distinguishing version number.
 If the Document specifies that a particular numbered version of this

README

@@ -4,7 +4,7 @@
 Collaborative web-based project writing a text book on algebraic stacks and the
 algebraic geometry that is needed to define them. Location on the web:
 
-	http://stacks.math.columbia.edu/
+	https://stacks.math.columbia.edu/
 
 You can simply latex the files in the current directory read them, edit them,
 and submit your changes by email back into the project.

crystalline.tex

@@ -4921,7 +4921,7 @@ \section{Some further results}
 we cannot conclude that $I^n = 0$ for some $n$. A counter example
 is $\mathbf{F}_p\langle x \rangle$. To prove it in general when
 $\mathcal{F} = \mathcal{O}_{X/S}$ the argument of
-\url{http://math.columbia.edu/~dejong/wordpress/?p=2227}
+\url{https://math.columbia.edu/~dejong/wordpress/?p=2227}
 works. When the coefficients $\mathcal{F}$ are non-trivial the
 argument of \cite{Faltings-very} seems to be as follows. Reduce to the
 case $pA = 0$ by More on Algebra, Lemma

documentation/git-howto

@@ -100,8 +100,8 @@ More information
 
 There is a lot more you can do with git. For example you can set it up so that
 the maintainer of the stacks project can pull changes directly from your own
-repository. To learn more see http://git-scm.com and
-http://www.kernel.org/pub/software/scm/git/docs/
+repository. To learn more see https://git-scm.com and
+https://www.kernel.org/pub/software/scm/git/docs/
 
 Do assign labels to new theorems, propositions, etc., but don't bother to
 assign tags.

documentation/submitting-patches

@@ -23,7 +23,7 @@ Email the patchfile. Please include PATCH in the subject line.
 (3) Nontrivial method: Create a patch for the whole project,
 especially useful if you are editing multiple files. To do this you can use the
 following steps.
-	(3a) Install git, see http://git-scm.com
+	(3a) Install git, see https://git-scm.com
 	(3b) Clone the project. Type
 		git clone git://github.com/stacks/stacks-project.git
 	(3c) Change into the stacks directory. Run make, edit files, etc.

examples-stacks.tex

@@ -1045,7 +1045,7 @@ \subsection{Principal homogeneous spaces}
 Bootstrap, Lemma \ref{bootstrap-lemma-descent-torsor}
 reduces this to a set theoretical question, so the reader who ignores
 set theoretical questions will ``know'' that the result is true. In
-\url{http://math.columbia.edu/~dejong/wordpress/?p=591}
+\url{https://math.columbia.edu/~dejong/wordpress/?p=591}
 there is a suggestion as to how to approach this problem.
 \end{remark}
 

examples.tex

@@ -3271,7 +3271,7 @@ \section{Stack with quasi-compact flat covering which is not algebraic}
 \noindent
 In this section we briefly describe an example due to Brian Conrad.
 You can find the example online at
-\href{http://mathoverflow.net/questions/15082/fpqc-covers-of-stacks/15269#15269}{this location}.
+\href{https://mathoverflow.net/questions/15082/fpqc-covers-of-stacks/15269#15269}{this location}.
 Our example is slightly different.
 
 \medskip\noindent

fdl.tex

@@ -426,7 +426,7 @@ \section{FUTURE REVISIONS OF THIS LICENSE}
 of the GNU Free Documentation License from time to time.  Such new
 versions will be similar in spirit to the present version, but may
 differ in detail to address new problems or concerns.  See
-http://www.gnu.org/copyleft/.
+https://www.gnu.org/copyleft/.
 
 Each version of the License is given a distinguishing version number.
 If the Document specifies that a particular numbered version of this

hypercovering.tex

@@ -62,7 +62,7 @@ \section{Introduction}
 A more general gadget one can consider is a simplicial augmentation where
 one has cohomological descent, see \cite[Expos\'e Vbis]{SGA4}. A nice
 manuscript on cohomological descent is the text by Brian Conrad, see
-\url{http://math.stanford.edu/~conrad/papers/hypercover.pdf}.
+\url{https://math.stanford.edu/~conrad/papers/hypercover.pdf}.
 We will come back to these issue in the chapter on simplicial spaces
 where we will show, for example, that proper hypercoverings of
 ``locally compact'' topological spaces are of cohomological

introduction.tex

@@ -66,7 +66,7 @@ \section{Attribution}
 \medskip\noindent
 Those who contributed to this work are listed on the title page of the book
 version of this work and
-\href{http://stacks.math.columbia.edu/tex/CONTRIBUTORS}{online}.
+\href{https://stacks.math.columbia.edu/tex/CONTRIBUTORS}{online}.
 Here we would like to name a selection of major contributions:
 \begin{enumerate}
 \item Jarod Alper wrote
@@ -84,7 +84,7 @@ \section{Attribution}
 \item the chapter \hyperref[fields-section-phantom]{Fields}
 \end{enumerate}
 are from
-\href{http://people.fas.harvard.edu/~amathew/cr.html}{The CRing Project},
+\href{https://people.fas.harvard.edu/~amathew/cr.html}{The CRing Project},
 courtesy of Akhil Mathew et al.
 \item Alex Perry wrote the material on projective modules,
 Mittag-Leffler modules, including the proof of

morphisms.tex

@@ -9284,7 +9284,7 @@ \section{Proper morphisms}
 
 \noindent
 The proof of the following lemma is due to Bjorn Poonen, see
-\href{http://mathoverflow.net/questions/23337/is-a-universally-closed-morphism-of-schemes-quasi-compact/23528#23528}{this location}.
+\href{https://mathoverflow.net/questions/23337/is-a-universally-closed-morphism-of-schemes-quasi-compact/23528#23528}{this location}.
 
 \begin{lemma}
 \label{lemma-universally-closed-quasi-compact}