I’m sure, buried somewhere deep in Google systems, are vestiges of mail server code originally written in the 80s. But when people use the name Gmail, they are generally referring to the client facing web app, which does not have any such code.

If it exists, it's probably not at all related to Gmail or only used for testing. I don't think Google reuses a lot of third party code in its first party server software.