The documentation says that the the names of open files is
supposed to show up under the "Files" menu. This does not
happen. In fact it does not seem to be possible to open more
than one file at a time, so maybe the menu entry should go
away?

I think the "File->Close" menu entry should be grayed out
when there are no open files.