FYI, UI Framework 2.5.2 has been released, so we can go with that fixed version.