I think stopping binary releases is more than a formality though.

The last release was in 2019. For all intents and purposes, they'd already stopped.