When did you last use jerboa? The quality of experience has gone way up with a huge number of new contributors. I used RIF for years and at first jerboa was way less polished but today I think it is better than RIF ever was.