The PCBs arrived from @oshpark last week, and they're just great as usual.  Once again, the slight design rule violation for the USB Type-C receptacles wasn't a problem.

EDIT: I just realized that the boards were actually made a bit better than I expected!  There's a small radius (0.3 mm) at the inside corners where the Type-C plug mounts.  I understand that OSH Park's boards are usually milled out with a drill of radius 1.27 mm, so when I ordered the boards I expected to have to file these corners to make the connectors fit.  When it came time to assemble them, I didn't think about it and the connectors fit perfectly.  Now that I look closely, I see some evidence that those corners were milled with a smaller bit to match the board outline in the design.  So thank you OSH Park for the unexpectedly well made boards!

I assembled one of the boards today (I ordered the parts from Arrow on Tuesday.  They said they'd ship the same day, but the didn't ship until Friday.  Also, apparently "overnight shipping" means "next business day shipping"), and it works perfectly!  I'll assemble the others soon, and I'll list them on Tindie soon after that.