Releasing the server code as binary is how it used to work, and there’s no reason it can’t work that way again. It’s one of several ways to satisfy the petition.