Stop! Do NOT edit the files in this directory.

The files in this directory are the generated contents of the Randoop website https://randoop.github.io/randoop and any changes here may be overwritten by the build script.

Instead, edit the files in the ../src/docs directory following the instructions in ../src/docs/README.md