A recent update to Chrome's video player (for my Galaxy Tab S7+) means
that double-tap to advance or rewind no longer works: it
maximises/minimises instead. More importantly, on some websites (notably
the service from my internet provider, my primary...
