zooko: I tried to submit this via the patch manager [1], but it said "Error: no group_id was chosen.".