Brooks Library, or Brooks Memorial Library?
I’ve always called our library the Brooks Memorial Library, think that “Memorial” was part of the name. More recently I’ve seen official library announcements in which it is called, simply, Brooks Library.
My question: which is it? Was the name officially shortened? Was it never as long as I thought?
I like to use the right name, but also don’t mind shaving off a few letters from a frequently-typed phrase.
What say ye?