That's not the developer, that's a Discord mod, and they said in that message specifically that they haven't heard anything from the dev. It also says nothing about what "the agreement" is. It could very well be a legal settlement.
He is a developer (github) and in fact had a pull request merged in August. I suppose it's possible it was a "legal agreement". It seems implied that it wasn't, and that was what I remembered when replying