We should make a release. I would suggest tagging it either 1.0.0 or maybe 3.1.0 to match seqan3 versioning.