Hi @matthijs, thanks for your comment!
I believe that Kazarian’s feature request is focused on user feature requests, and does not include bug/problem reports, hence my feature request.
However I hadn’t seen Wichard’s comment at first. I’ve added my own comment at the bottom to recap.
Would you prefer I keep my feature request - focused on bug/problem reports (and perhaps link it to Kazarian’s) - or simply remove it as it is redundant with Wichard’s comment?