Coq 8.16.1 has been tagged

Developing the Coq system
#1

The V8.16.1 tag is now public! Package managers should now start work on upgrading their packages.