Aug. 21, 2021
7:06 p.m.
Ah, thanks. That was easier than expected. I think everything is working now. If not I'll come back. The bug report is filed to the Debian devs, but they'll have to see if they make any changes.