It’s one thing to have a bunch of repos up that a couple of people are pushing around here and there. It’s a totally different thing for a major open source presence to prop up a project instead of retiring it. This isn’t some random project; it’s run by a major org, doesn’t have good contribution flows, and has been struggling since 2013.