whonixcheck-scripts/70_check-htpdate: longer timeout; comments