Is ConfigObj really optional?

Dear list,

according to Mayavi docs
http://github.enthought.com/mayavi/mayavi/installation.html#requirements-for-manual-installs
configobj is considered optional, however one of my user got stacked
with the error  ImportError: No module named configobj

I can always manage as a dep of my program, but I think this could be
added to Mayavi directly, unless there are some reasons that are right
now escaping me!

Cheers,
Michele.

------------------------------------------------------------------------------
This SF email is sponsosred by:
Try Windows Azure free for 90 days Click Here 
http://p.sf.net/sfu/sfd2d-msazure