すみません、remove_pump_recipeって今でもどこかで公開されていますか？
もしくはそれの代用されてるアドオンでもいいのでお願いします。