Remove obsolete, confusing comment

I originally wrote it as a "pretend repository".  Later, I figured out
how to make it a fully-runnable example.