Text this: Julian P. Boyd, librarian of Princeton University, 1940-1952