We made that. You can go check it out. It talks about how CodePen might be useful for educators. Features we offer, how it has worked for other educators, ideas on how you might use it, FAQ's etc.
As always, we'd love to hear from you on how CodePen could be better for education.