It is claimed in Nov 12, 2024 that #15886 is going to be locked for a day and a new issue will be opened as a replacement in the next day, but nothing happened since the claim. I am very interested...