Comment on Copy edit install-dev-making.txt