The Duvet repo is currently private while it is in development, but we should make it public and link to it from the specification README.