The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

Remove unnecessary word

Thanks to Dario Weissmann

Fix isolated point stuff

	It turns out that I was thinking about isolated points in the
	wrong way. Apparantly an isolated point is just what I would
	have called an open point and what I thought was an isolated
	point is a closed isolated point.

	Also added: A lemma stating that a morphism is locally
	quasi-finite if and only if it is locally of finite type with
	discrete fibres.

Begin translating etale to \'etale or \acute{e}tale (in Math mode).

Started tags infrastructure

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

More etale ring maps

	modified:   algebra.tex