Finish first CoqEdit Software Description paragraph, start the next