nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq5ldukpp4wqv97dnls0m7h05unztdgjcuj762x9mejdqk6267tk8qakvkfm (nprofile…vkfm) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq36uguy8ku34awrmlf0hu0w0z2d8nda4dfgpjvxnp7dwrsmlk4cxs27lcw2 (nprofile…lcw2)
Hah, yeah - 100% the wrong link. I tried updating it a few hours ago, but I clearly failed.
You really think `push_with` feels bad? The only difference should just be an extra pair of `||` in the arguments, right? Or well; most of the time?
