Any progress on getting light into unstable? The ITP is getting old, and I've been using light 1.4.7 happily for a while now... -- Itai Zukerman <http://www.math-hat.com/~zukerman/>