Delete many TeX customizations, producing a style more consistent with our other manuals and eliminating TeX errors. Use @var instead of @i when appropriate. Fix utilization of @key.