Enhancements to prtRvHmm, mostly performance, some minor additional functionality