------- Additional comments from [hidden email] Fri Dec 15 14:27:14 +0000 2006 -------
Maybe instead of using HTTP refresh, those pages with refreshable data should
use some AJAX to replace the relevant HTML section. If done properly, it would
be unintrusive enough to turn on by default, I think. Ideally some Jelly/Stapler
hackery would let you just write e.g.