Docs: clean up Getting-Started/Basic-Def, including an example of defining a key.  Fixes #862.