It's pretty exciting to see that Teensy 4.0 is out!

I would want to clarify two things before ordering one:

1. Will Paul's CS42448 TDM board work with it? Will I need to readjust the wiring or will it just properly fit on top of the CS42448 board sockets?
2. The docs say two USB ports, both 480 Mbits/sec. Does it mean that the built-in microUSB is 480 Mbits now and I can use https://www.pjrc.com/teensy/usb_serial.html for the serial port at 480 Mbits without messing with the USB host library drivers?