docs/GettingStarted.html: Fix a typo and tweak a command line.