Add a more detailed installation procedure.