New proxy manager tool, available on GitHub | Hacker News Reader