Just to follow up on this thread: beta 10 has been released, solving the problem of beta 9, however introducing new color features that looks bad at least on some systems. A fix is pending. --Dan