Finally, an add-on that actually does what it says. I've tried 3 other "GitHub Download" addons, but this is the only one that actually let me download the file I click on. All the others just open the file in raw format.

Cheers Grooby!

THANK YOU!

So usefull. Add this extension to other browsers (Chrome, Edge, Opera)

thanks. it save my time :)

Go raibh maith agat

Truly a work of art thanks.