However, they have opted to leave his name on the library, as a reminder to stay quiet.
Many of the jokes are contributions from our users. If you find anything offensive and against our policy please report it here with a link to the page. We will do everything to make this an enjoyable platform for everyone.