Changes to CoqExtraction/LetouzeyOverview/5