Some notes re: changes we should make to servod.c