improved usability (using filename in tabtext, by closing app checking
_all_ documents for changes, ..)