Fermat versus Wilson congruences, arithmetic derivatives and zeta values

We look at two analogs each for the well-known congruences of Fermat and Wilson in the case of polynomials over finite fields. When we look at them modulo higher powers of primes, we find interesting relations linking them together, as well as linking them with derivatives and zeta values. The link with the zeta value carries over to the number field case, with the zeta value at 1 being replaced by Euler's constant.