Documented ok_vec_push_back and ok_vec_pop_back.