docs: function FoldingAnnotation (start, end, projectionModel) {
  		this.start = start;
  		this.end = end;
  		this._projectionModel = projectionModel;
  		this.html = this._expandedHTML;
  		this.style = this._expandedStyle;
  		this.expanded = true;
  	}