Someone may have replied with this already, but: https://stoptrumpswars.org/ we’re trying.

I do famous libraries with interesting names. My first was Roi, after the fictional library designed by a guy named Boullee. My next was Ashur, a shortening of an ancient Assyrian library. Recently got a VPS but haven’t settled on a name for that one, just been calling it by its model. CX43 - call it Codex, perhaps?