Better help/documentation for install_dev.