Update GITHUB HOW-TO.md