Looks like @cryptoandrej hasn't received any replies!