Is NativeEthernet (and FNET) at a point where it can be included with a Teensyduino installer?

I'm getting ready to package up 1.53-beta3....