Curious about the real pain points, not the spec writing, but what came after: toolchain patches, simulator forks, getting someone else to reproduce your work.Building a registry for reproducible extension packages: www.extensilica.com/wizard