For a while they were .wast files, I don't remember there ever being an official discussion or debate over whether to make it .wat. Your guess at least seems pl

For a while they were .wast files, I don't remember there ever being an official discussion or debate over whether to make it .wat. Your guess at least seems plausible.