gh-proxy-buttons

add a button beside github link(releases,files and repository url), click to get alternative url according to previously specified proxy.

Ekde 2024/03/12. Vidu La ĝisdata versio.