Adde EOF invisible, and quick fix for "TODO: Reselect previously open document"

More info in commit messages.