Move some provenance performance comment to lesson section