A Chrome extension, and corresponding server-side code, to browse Github repos using ctags