Rufus, Sextus Festus, active 15th century