stdio.h(3avr) on Linux

The text 1e00d01f4ecf, as Debian 11 (Bullseye) shipped it.

stdio.h(3avr) on Linux now