On 2025-12-02 17:21, Maarten L. Hekkelman wrote:
I will have to come up with a new name I'm afraid. I guess this bug should be closed now.
This happens, alas. I would suggest leaving the bug open and renaming it once you come up with a different name. The bug already contains some valuable details which I think are worth preserving.
Best, Andrius
