Hi Sylvio,
Yes, I am including this fix in the upcoming release, so you don’t have to worry about it. Thank you for letting me know, that it works.
Make sure to change the results redirection to the ‘WooCommerce results page’: https://i.imgur.com/QHcy6LS.png
That will redirect the results to the Shop results page as you expect it, and that should do the trick.
