> But it's not like you can build a solid TCP stack these days either simply by reading the original late 70s RFCs.

I literally did this. It's called smoltcp (https://github.com/m-labs/smoltcp) and we use it in production as an lwIP replacement with great results.