doc: use the more convenient 'cargo run' command

This lovely command has already been introduced, so let's take advantage
of it.