Re release of patch: The most important things are in there I think, but we still have two side-effects of optimizations we did that need to be fixed. Once that is done, we need to test it, fix whatever new problems we find and then we can release it. So at best end of next week, at worst the week after that.
