FYI, the repository for the user project wrapper is not yet public, as we want to make sure that the wrapper connections are final so we don't have to do a round of updates. The caravel wrapper was done by openlane, but openlane doesn't (yet) know how to size wires for analog, so many of the special analog pins around the perimeter of the user wrapper will have to be edited by hand. Once that's final, we'll make the repository public and I'll announce it in this space.