Funny how the mind works.  There is no way I would ever have noticed that "infra" is a substring of "mainframe" if I hadn't had to do an interactive search for the former in a long document just now.