Yes – that’s working now, it must be something with our theme (I should have tried before!)
We’re actually redesigning our cart – we thought we could switch over quickly, but it looks like it might be easier to just incorporate Stripe into our new cart design.
Wow! That was a quick reply! I’ll give switching the theme a try.
PHP 7.2.9 as well if that helps.