@tom Actually it’s working now for me too. I don’t know what happened (I didn’t change anything)…
Thanks for looking into this!
(for reference I saw the issue on both Windows 10, Firefox 100.0.2 and Ubuntu 18.04, Firefox 97.0 - but in both cases the percent encoded URL is now correctly recognized - and the coverage shows up).