I spent some time searching for Dave's binary distribution tarball and
finally found it in his home dir, so you have to scp it down, which is
probably better for now anyway.
Yes, I had forgotten about the new theme management stuff being in 1.3;
I was thinking it was in 2.x only.
I did a from-scratch installation without problems. I was using the
dist before Dave patched it. On MySQL, I hit no issue with the null.
I haven't tried an upgrade installation yet; the upgrade is usually
where issues seem to arise so I think we should be testing that. I hope
to do that this evening, at least from 1.2.
--a.