Suggestion: github releases

[Phil Mayers]

On 17/07/2017 14:59, Phil Mayers wrote:
> On 17/07/2017 14:57, Phil Mayers wrote:
>
>> Can I make a suggestion that might kill two birds with one stone?
>> Specifically, perhaps it's worth considering using github releases for
>
> Actually maybe I'm being an idiot here - there appear to be released on
> the public repo?

Yes I'm definitely being an idiot. Sorry all for the noise, please 
disregard.

(I do still think the download link on the website might be better 
pointed at the GH release but maybe there's a reason for that?)