Yes, my WooCommerce is at 9.5.1. Sorry about the typo!
Thanks for the heads-up! I hadn’t tried it since it said “and currency does not remain after being switched by customers in the frontend” due to the fact I’m using autodetect.
Turned it on and tried it again with WP Super Cache installed.
Checked with US IP and US-located friends and it shows my non-default alternate currency (SGD) for a few seconds before switching to the geolocated currency (USD).
Not a big issue for so I’ll be turning WP Super Cache back on, but if there can be a small efficiency fix for that in the future, or other settings I can change, that would be great to know!