On 17/01/2021 10:29, Andreas Henriksson wrote:
Possibly getting off topic here, but I happened to read a bit of this discussion and while seeing your comment I thought it might be a good time to remind you about #934463.
I agree it's off-topic here, so I've sent a message to that bug suggesting an approach.
Regards, Matthew