Various minor improvements to our file manager.