is it an accident of history that https://pantsbuild.github.io/JVMProjects.html is generated from examples/src/java/org/pantsbuild/example/readme.html?