Update some installation-related docs