recordext.producers: initial release