I've been working on this, but have been swamped with other things.

Among other things, I've reversed my position on ata's question about the equivalence of Bayesian probability and DST, and am reasonably sure that I can demonstrate that DST can be derived from, for instance, Jaynes' formulation of probability. For related reasons, I've grown to distrust most underlying formulations of DST, and while I still trust the method (it works, after all), I think standard presentations have gotten it Wrong.

Which of course means that I feel the need to get it Less Wrong before I post it here, making this a much more monumental challenge.