Quickly navigate your file system and open files through a menu.
Clone the repository to ~/.local/share/gnome-shell/extensions/ and restart the shell.