Just a little tool to open an extensions directory or the directory of an installed theme, you can get it here....
https://docs.google.com/document/d/1...uPM/edit?hl=en