This launched with the word "codelab" so (at this point in time) it would be a SEO ding to remove the word "codelab" now. Maybe eventually it can get phased out, depending on what the search/analytics data says in a few months.