Maybe
The new encoding is `0` for `Nothing` and `[1, x]` for `Just x`.
We'll maintain it in the c-toxcore repo, where it belongs.