branch_9x removed from origin?

[Dawid Weiss]

Hmm... Has someone removed branch_9x entirely from the origin git? I'd
think we'd like to keep the label, even if the branch is not meant for any
future development, similar to branch_8x that still exists in lucene-solr
repo.

Dawid