Seems the drama got solved (somewhat). I'm always saying that they should really considered something "NIPS:2025" releases or something like that. Some NIP are already obsolete and now basically dead-numbers.