I fell down a research hole when I looked up the term “elephant house” under innocent enough circumstances.