Update HOW-TO-INSTALL.txt