As is often the case, a good double jump really does something to bring out the fun in a game. I was having a good time before they introduced it, but my experience went from "I'm tacitly enjoying this video game" to "okay, I do actually like it and I'm now vocalizing that".