> It's not *that* expensive to have a dedicated user for this, so we > don't need to think about if it's a problem to share with ping(8) or > not. And we might be able to get rid of it again in the future.
I am worried about the trend of creating shared users. And also, less worried about independent users, since we may be solving that in the next year.
