Push button to export combined formats.
Toggle enabledness of the export button as well.
Get smarter about when to try publishing.
Log error stack traces.
Vector.map can only return a vector of the same type.

How is that useful? Yet another reason to stop using Vector, I guess, but I'm not going to go
changing the convention in this lib.