Has SGA 4½ been typeset in TeX?

algebraic-geometry reference-request arithmetic-geometry etale-cohomology

Yes it has. See the links here. Also here is the Github repo if you would like to modify it or propose improvements.

Related

An obvious pattern to $i\uparrow\uparrow n$ that is eluding us all?
When is $2^n \pm 1$ a perfect power
A ring isomorphic to its finite polynomial rings but not to its infinite one.
Patterns of the zeros of the Faulhaber polynomials (modified)
A finite set always has a maximum and a minimum.
English words in written mathematics
Why does Monte-Carlo integration work better than naive numerical integration in high dimensions?
Are most rational quintics unsolvable?
Prove that there is a two-sheeted covering of the Klein bottle by the torus
Function which is continuous everywhere in its domain, but differentiable only at one point
Integral $\int_0^1 dx \frac{\ln x \ln^2(1-x)\ln(1+x)}{x}$
Definition of definition