Player double-jumping, original Gravity Gizmo levels imported