The binary to build the registry is on https://zenodo.org/records/13276261/files/seaview?download=1
