Twitchy, thats what I always thought. Well, the folks in the U of V *music* department may not be the morons we're talking about, it may be the morons in Comp Sci who probably built the Web page for them. They "knew" that A# and Bb were the the same note and, like most software developers, figured we didn't need dual semantics for the same thing.
As for theory, I have no accademically sactioned training in theory, just what I picked up from a man I studied some jazz with a long time ago. That's why I'm most comfortable with the notations used by jazz players.
Your point on the major 7th is good too. I always thought it was interesting that the unadorned 7 refers to the dominant 7th (and the flatted 7th is not found in the root diatonic scale) while the major 7th always receives some kind of adornmment to set it apart.