Appears to have two active ttyv04 lines in /etc/ttys one for a getty one for xdm which I found confusing.

Also: no native wifi so he used a dongle. That's just sad. Bad lenovo, very bad.

It's not Lenovo.

FreeBSD's unstable as of yet iwlwifi[1] driver can use T14-built-in intel AX200/201/210 card but there's still no 5GHz speeds achievable. Personally, I'm waiting for LinuxKPI[2] emulation to allow using Linux drivers for WiFi adapters, like it allows me to use Linux drm-kmod[3] driver for graphics acceleration in Xorg.

For now, there's only 802.11n and some very limited support for establishing 802.11ac connections but still not speeds higher than 2.4GHz.

[1] https://wiki.freebsd.org/WiFi/Iwlwifi

[2] https://wiki.freebsd.org/LinuxKPI

[3] https://github.com/freebsd/drm-kmod