“[Librarians] say that occasionally people are placed on ‘sabbatical’ from the libraries for infringements and are sometimes referred to public places where they can take showers. None have reported serious incidents to me, which suggests that respect is mutual.”