Ok, I re asked the question on sage devel. See https://groups.google.com/forum/#!forum/sage-devel for the most recent status.
-- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
