[Dillo-dev] make instant meta-refresh optional?

Scott wrote:

I was just trying to look up a local place on Google Maps, and found that the page wouldn't render any more. So I investigated, and it turns out to be a combination of two problems:

- Dillo now follows instant meta-refresh commands, instead of letting the user decide.

- Google Maps redirects to a 'mobile' version of the site, which fails to recognize Dillo's user-agent string and returns WML instead of HTML. (I sent them info about this bug a few moments ago; hopefully they'll fix it)

Would it be possible to make that first one optional? Maybe a config variable or something? I liked the old behavior much better.

I rather liked the old behavior as well.