File Pilot: A file explorer built for speed with a modern, robust interface