Coq 8.11.0 was recently released: https://github.com/coq/coq/releases/tag/V8.11.0

This version introduces a new tactic language, Ltac2.