Embed Notice

@benjaminhollon @sotolf

Oh, I do.

But when you're navigating through a ton of PDFs, a file manager is nice.

Tab completion is fantastic, but it's still tedious when there are tons of files and directories with similar names.

Maybe if I had created all of the files and directories in question, I could name them in a way to make life easier for the command line, but this is a shared folder with someone who uses windows.