docs: function deprecationInfo(feed,name,type,deprecated_since) {
  // apparently there is also a 'guaranteed_until' attribute - not seen
  	var result = '';
  	var d = feed.deprecations.deprecated;
  	if (d) {
  		for (var i=0;i<d.length;i++) {
  			if ((d[i].name == name) && (d[i].type == type)) {
  				if ((!deprecated_since) && (d[i].deprecated_since)) {
  					deprecated_since = d[i].deprecated_since;
  				}
  				if (d[i].replaced_by) {
  					result = result + '-> ' + d[i].replaced_by;
  				}
  			}
  		}
  	}
  	result = ' since ' + (deprecated_since ? deprecated_since : 'unknown')+' '+result;
  	return result;
  }