Text this: Árni Magnússon, an early-modern collector of medieval manuscripts