Please tag a release with Coq 8.19

I saw you had commits for Coq 8.19 support, but didn't tag a release yet.

I'm working on updating the Coq ecosystem in Debian with Coq 8.19, so I'd like an official release.

There's no hurry: there's a handful of packages still blocking anyway. This issue will help me track the progress.

Thanks,