Sure, coding in a double jump manually wouldn't be too hard. However the double jump feature is already built into the platformer behavior, would be nice to be able to simply reset it. In my case if I fall off a rope, I could jump back on to the rope (using the double jump), however since I don't actually touch the ground, the double jump doesn't reset. The next time I fall off the rope, I can no longer jump back onto it in mid air.
I'm still up in the air if this is how I am going to the leave controls, but just thought I support a good feature idea.