code: def make_anchor_id(self):
          
          result = re.sub(
              '[^a-zA-Z0-9_]', '_', self.user + '_' + self.timestamp)
          return result
docs: Return string to use as URL anchor for this comment.