I'd better double-check things to make sure it wasn't something I had done! In hindsight, maybe that's what happened. This does highlight my main question, which is, why is the demo using PTB16 and PTB17 instead of something like PTC16 and PTC17 that are clearly marked on the arduino headers?
You are probably right that the demo was UART0 and I misidentified things in my original post, and I apologize for that.
I believe I did get the UART interrupt demo working with PTC16 and PTC17 using UART3, but am I correct that UART3 doesn't have a TX/RX pin selection register? (i.e. like SOPT5 for UART0/1)