examples: Work around #933, now more prominent it seems
examples: Work around #933, now more prominent it seems

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar