When librarians get bored