See https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-project/10.0.23/jetty-project-10.0.23-version.txt (from 10.0.21).