I've found and I hope fixed an elusive bug in Tondo having to do with crashing when trying to save files. I'll add one or two more things and release it as an update! Meanwhile: I know about the problem!