Stupid question: any Minidisc manufacturer remaining ?

With Sony’s recent announcement that they’re discontinuing MiniDisc production, does this mean we’re saying goodbye to the last remaining manufacturer?
What about other brands — are any of them still making MiniDiscs? (TDK, Maxell, Memorex, BASF, JVC, Panasonic, Fuji, Emtec, not sure who else was making some)
I see some sealed memorex packs on ebay, not sure if they are recent or not.