The text aec94d00c2b9, as Debian 10 (Buster) shipped it.
RealTek 8129/8139 Fast Ethernet device driver
if_rl(4freebsd) on Linux now