On 12/17/23 15:11, Patrick Shanahan wrote:

the issue is probably not with 15.5 but with firefox.

It's the Firefox that came with 15.5. I did a fresh install, retaining only /home from 15.4. It was fine with 15.4, but not 15.5.