The general Phobos policy seems to be "Add (symbol) names, add your name". I agree that we might want to have a discussion about this at some point, though.