1. this shouldn't be public 2. the (appropriate) contents of this should be folded into a better-named and organized repo, e.g., "mars-benchmarks" 3. this should be deleted
