This is from March 2023. If someone was going to litigate over it, they'd likely have done it by now. I haven't been paying attention, so maybe something like that has happened. I wonder how it went.