Update 20140623 How to speed up directory navigation in a Linux terminal.md