Hi, I really like that only a single include is needed:
#include <EduIntro.h>
Everything else being so neat and simple, how about:
#include <Basics.h>
Just like the File > Example > Basics > ...
Or something else a little friendlier to beginners.
(I understand you named it for a specific workshop.)
Kind regards,
Thomas