The Stacks project

Add a slogan in morphisms

Thanks to slogan_bot
https://stacks.math.columbia.edu/tag/01TI#comment-5429

Fix typo in morphisms

Thanks to Manuel Hoff
https://stacks.math.columbia.edu/tag/01TI#comment-3963

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Morphisms: Two simple lemmas on normalization

	Namely, normalization behaves well with respect to disjoint
	unions. And if Y is integral over X then the normalization of X
	in Y is just Y.

	Also, small changes in section on algebraic version of Zariski's
	main theorem.

	modified:   morphisms.tex

Morphisms: Reformulated the algebraic version of Zariski's main theorem

	modified:   morphisms.tex

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

First pass over the section on quasi-finite morphisms
Still to do
	quasi-finite separated morphisms are quasi-affine
	formulate versions of Zariski's Main Theorem

	modified:   algebra.tex
	modified:   morphisms.tex