Gertrude.” Gertrude isn’t a library assistant, though. She’s a 3D printer, named by the library staff. Purchased with ...