Ask users to clone the repository with the development shells instead, so we can keep the repository easily updated.