docs: function(comment){
      var ast = [];
      if (!comment.buffer) return;
      if (this.pp) push.apply(ast, this.prettyIndent(1, true));
      push.apply(ast, this.buffer('<!--' + comment.val + '-->'));
      return ast;
    }