Upgrade to educe 0.6

Educe 0.5 is out; we should upgrade eventually. There are compatibility issues.

Edited to add: Now educe 0.6 is out.