downloaded gifs have no extension in safari
increpare opened this issue · comments
in makegif
`` consolePrint('Download GIF');```
set download attribute of the <a> to the game title`
(cf https://developer.mozilla.org/en-US/docs/Web/HTML/Element/a )