Update HOW-TO-RUN.html