> In which case, I would further suggest that we hack the HTML to replace > the "MLton" in the banner with "MLton 20050817" so that it stamps the > release appropriately. We can then hang the dewikied HTML off mlton.org > as the immutable documentation for the release and have the wiki portion > of mlton.org follow HEAD. Sounds great. I'll start working on some scripts.