If I would name a library after a man who directly ordered to kill your grandparents and grandparents of your colleagues by shooting them in back of their head would you find it funny?
Firstly, I am staunchly anti-Stalinist, anti-communist, and anti-socialist. I’ve been to former Soviet states and seen the devastation that Stalin and his ilk wrought.
Secondly, the library is a wordplay on the name of the city (or perhaps the well-known battle) of Stalingrad. That’s already a step removed from being named after Stalin.
Thirdly, stop trying to turn the world into a humourless wasteland. The policing of jokes of questionable taste screams of moral panic.
You are of course entirely right. It may be worthwhile to email Siskind or Pearlmutter on the subject. I believe Siskind has a tradition of naming things after brutal dictators, so I imagine it's liable to not amount to much.