Broken reloading
The latest version doesn't do auto-reload, and Ctrl+R
to reload doesn't work either. Explicitly reloading using the menu entry works, but that's basically just a way to expose the shortcut, and the shortcut is really mostly a backup for when auto-reload isn't working. Ideally we'd just make auto-reload so reliable that we can remove explicit reloading altogether.