Revisiting Gauss's analogue of the prime number theorem for polynomials over a finite field