Yay, one more of my Debian bugs (#135579) is squashed. Now I only have a few normal level bugs left; the one that really needs fixing is 112236, but I just haven't had time to debug it. The Crux GTK+ theme seems to make other GNOME applets go awry too.
Found a research topic for this quarter: advanced macro systems. Should be interesting.
I must say, not having class on Friday rocks!