↳ In-reply-to » Anyone know of a tool that will crawl a website, run JavaScript, and then save the resulting DOM as HTML?

Now I’ve just realized that if /en-US/docs/Web/HTML/Global_attributes is saved with that filename, the Web server is probably going to send the wrong MIME type. Wget solves this with –adjust-extension.

Man, you really don’t have to do this…