This should perhaps remain in the Quickstart section instead.