Tsai on Vesper: “apps should have an export feature from the first version”