Point to config.txt rather than hardcoding hooke.cfg in doc/gui.txt