Why is Media Wiki not (yet) the ideal Wiki-engine for (formal) educational settings?