title: How to change the redirect of the "add to cart" button in woocommerce store
body: <p>Let me start by saying sorry that this title is somewhat vague. More specifically the title should be:</p>
  
  <p>How to select the behavior of the "add to cart" button in a woocommerce Storefront theme (probably other themes as well) product archives page (aka shop page), such that it adds the item to the cart and then either stays on the shop page, or redirects to the cart.</p>
  
  <p>But that is a long title... </p>