Debugging a glitch that only happens in WebKit, I briefly considered bundling Chromium into my app just to avoid the issue. But that would take the app from 10 MB to over 100 MB. Too many apps are so huge now.