It would be better to avoid violating DRY by duplicating docs on how to set up the tests; it's already covered via `doc/devguide/testing/devtool.md`, which is linked from the testing page linked below.  So I think you can just remove this step.