I've done quite a few necroposts, but for some reason just missed that the one I was looking at here was a (very, in 2025) old post. That would have been clearer to others if I'd replied to the 2025 comment, instead of the original.