Update nohz-howto.txt