Does anyone know the relationship between SymbiFlow and YosysHQ? https://github.com/SymbiFlow/ https://github.com/SymbiFlow/ https://github.com/yosyshq https:

Does anyone know the relationship between SymbiFlow and YosysHQ? https://github.com/SymbiFlow/ https://github.com/SymbiFlow/ https://github.com/yosyshq https://github.com/yosyshq I see there is a lot of overlap between the projects (both in tech and people involved) so I wonder if there is any sort of chosen canonical project here or if they are being developed separately. It's a little confusing since I see yosys and nextpnr in both. How do things fit together? Anyway regardless of that, the development of all of this is really cool. I've had a lot of fun playing around with yosys/etc. as a hobbyist and hope the project continues to grow.