How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?

Question

This is a follow-up to a recent mathoverflow question 34387 about computing the orders of finite unitary groups and the comments made there.

Between 1955 (Chevalley's Tohoku paper) and 1968 (Steinberg's AMS Memoir 80 "Endomorphisms of linear algebraic groups"), the list of finite groups of Lie type was completed and the orders all computed by various methods: Chevalley (split) groups, twisted (quasi-split) groups of types ADE discovered independently by Hertzig, Steinberg, Tits, and the groups of Suzuki and Ree defined only in characteristic 2 or 3. This followed older work on classical and some exceptional groups. For example, it is easy to compute the order of GL$(n,q)$ and then SL$(n,q)$ by counting bases of an $n$-dimensional vector space over $\mathbb{F}_q$ (these being permuted simply transitively by the general linear group).

Chevalley developed a uniform method for split groups based on the BN-pair structure (Bruhat decomposition) together with knowledge of the degrees $d_i$ of fundamental invariants for the Weyl group $W$. For "universal type" groups like the special linear groups this yields a closed formula $$|G(\mathbb{F}_q)| = q^N \prod_i (q^{d_i}-1)$$ where $N$ is the number of positive roots $= \sum_i(d_i-1)$ and where $i=1, \dots, r$= rank.

Formulas for the other groups turn out to look similar, but with modifications. For instance, factors $q^{d_i}-1$ might occur with a plus rather than minus sign. For Suzuki or Ree groups, $q^2$ is an odd power of 2 or 3.

In his 1968 paper (11.16), following a related approach in his 1967-68 Yale lectures, Steinberg unified everything by viewing the finite groups as fixed points of a Frobenius-type morphism possibly incorporating a Dynkin diagram symmetry; for Suzuki or Ree groups, the square of the morphism used is a usual Frobenius morphism. Here the Weyl group may be replaced by a suitable subgroup, etc. The proof requires a more delicate version of Weyl group invariants, which Springer approached later in his own way in "The order of a finite group of Lie type" (Algebraists' Homage, AMS Contemp. Math. 13, 1982, pp. 81-89).

There is a geometric proof of Steinberg's unified formula based on the Weil-Deligne approach to counting points of a variety over a finite field using a Lefschetz fixed point formula in etale cohomology (the variety here being the algebraic group and the "Frobenius" morphism being enriched as above). Deligne sketches this at the end of "Applications de la formule des traces aux sommes trigonometriques" in SGA $4\frac{1}{2}$ (Springer Lecture Notes 569, 1977). Springer referred to this as "perhaps the best proof available nowadays ..."

Is there a more complete written account of this geometric approach?