Talk:Dictionary of National Biography, 1885-1900/Holt, John (d.1418)