I'm back in town and after fixing a couple of things,
http://plan9.escet.urjc.es/export/idefs.rc should be
reachable now.

If you have problems reaching it, let me know.

thanks