I think we do not add a use just for something that is in a comment (at least someone told me not to do one day).