docs: function processMixin(feed,mixin,mixinName,stable) {
  	if (warnReleaseStatus(mixin.release_status)) {
  		console.log('Warning: mixin '+mixinName+' is '+mixin.release_status+deprecationInfo(feed,mixin.name,'mixin',mixin.deprecated_since));
  	}
  	if (seen.indexOf(mixinName)<0) {
  		exportMixin(feed,mixin,mixinName,stable);
  		seen.push(mixinName);
  	}
  	else {
  		console.log('* Skipping mixin '+mixinName+' as duplicate name');
  	}
  }