Yeah, that page and many other need work. But so do lots of other things. At this moment my dev cycles are going into the ports menu & serial monitor improvements, which are
beta testing now.
The reality of Teensy and other dev boards, even Arduino, is there's never enough dev time for everything everyone wants. Sometimes it's incredibly frustrating, as if there isn't any dev time for anything. The long term trends, products with vastly more features & technical capability, with low prices and selling in a highly competitive market, all add up to much more developer time needed but only limited ability to invest that time. Yet we do have pretty good steady forward progress, even if it usually feels slow & incomplete at the time.
Anyway, please know dimensions page is on my list. But that list is very long. Resources are always limited. I must prioritize.
I believe anyone who's followed this forum for any length of time can tell you the most frequently asked question variations of "not seeing serial port" (in Arduino's Tools menu). Not installing the Linux udev rules is probably #2, mostly because experienced Linux users never get any visual indication non-Serial stuff is in play, use familiar old-school unix group/permission settings only for serial devices. I'm optimistic this work is going to soon bear fruit, and with any luck everyone will get a better experience and it might even free up some time normally spent helping people figure out how to see whether their board is working.