Has SGA 4½ been typeset in TeX?
Yes it has. See the links here. Also here is the Github repo if you would like to modify it or propose improvements.
Yes it has. See the links here. Also here is the Github repo if you would like to modify it or propose improvements.