This page moved to
source/developer-tools/editor_setup
.