Fix #7200 - install instructions