fixed empty info check
use second Why when exporting (more likely to be user-set)
renamed to Tinker rather than Isabelle in places
also export a copy of XML-formatted Tinker data