A thirteenth-century user of Anglo-Saxon manuscripts