Philip Meholm

Hi, This is not a specific issue, but I've had the need to download a file from a github release in the past, and ended up creating my own script...

### Prerequisites - [X] I have searched all issues/PRs to ensure it has not already been reported or fixed. ### Criteria - [X] Non-GUI tool - [X] Reasonably well-known and...