uint16_t(3avr) on Linux

The text 9bd4040c3f48, as Debian 13 (Trixie) shipped it. The page shows this text now.

<stdint.h>: Standard Integer Types

uint16_t(3avr) on Linux now