Released v0.25.2 with a large number of tweaks and bugfixes for folding. There are likely still issues, but it should be a significant improvement.
