be nice
dorf.sh: less frequent HTML page reload