Hi merl, how do you do that jump clip thing

mod note: retimed mod note 2: you can double jump by buffering a jump input and then hitting the corner of a ceiling