This is the one I’m using right now!
So yes, thank you for answering.
Please consider adding this to GP as an add-on
This way users can choose to activate it (or not). Those who do, do not have to worry about using yet another plugin. Less plugins puts a smile on the face of any dev!
Would love to read you thought on this (in a text reply, sadly I can’t actually read minds π
PS
This is just a ‘nice to have’ for dev’s who hand over sites to their customers. The ‘Woo shopping cart add-on’ (in comparison) is more a ‘must have’.