Add comment showing how to run "examples.doctest"