Thank you for your comment! The double jump was originally a very serious bug that we had fixed. However, since it was interesting to us, we decided to keep a part of it although those were the intended solutions.
