Docs: make the welcome page more obvious
change dev-tools