Generates a pac URI, according to windows global settings, using WinHTTP API
A CLI tool to select and checkout git branch
Inline text editing using JS