Submit a videolesson for Isabelle