feature request: allow reloading file

[DannyStoll1]

It would be nice if users could manually reload an opened file without losing the page. Even better, though perhaps harder to implement, would be automatic reloading whenever the file changes.