Exportera-knappen funkar nu på GIF

Den globala Exportera-knappen i headern dök inte upp på /gif. Nu visas den så fort du har minst en färdig GIF — en fil laddas ned direkt, flera packas i zip.