Update doc/haloplex.txt