export-issues-html.sh: on prend aussi le CSS
Les scripts divers sont nommés suivant la convention (ainsi que leur dossier).