> Anyway it might also make more sense to put something like this> into one of the build-bots rather than push it into mainline for general> use.I think that the build-bots take from the mainline.julia