nmigen appears to have moved the upstream repo to https://github.com/nmigen/nmigen instead of https://github.com/m-labs/nmigen The old one is still kept somewhat up-to-date. Do you think we should switch to using the new repo? I can do the work to update all the docs. Jacob