Edit: Does this minor detail even warrant a War Room discussion?
The name is capitalized since that's the full name of the library. It's not something we made up. Unless an official source (like the artbook) doesn't capitalize the name, I don't see why we should rename the page. LadyLostrisvstf(talk • HotN) 08:19, December 16, 2016 (UTC)
I agree with LL. Tono555Talk 13:05, December 16, 2016 (UTC)