can/should we just use the term "InfoBox" rather than "auxiliary box"?