An experimental extension to CoqEdit