There are at least three more different hints about the translators than you've mentioned -- Vinge is so great at embedding little insight-bombs in the narrative, like Godel, Escher, Bach. In fact the whole translation subtheme strongly reminded me of another Hofstadter book, Le Ton beau de Marot.

The Baroque Cycle was among my favorite books of its years, FWIW.