National Library mourns Paul Reynolds