JSFiddle - React, Tailwind, and code Playground

HTML

<a id=file target=_blank>Cliquez lĂ </a>

JavaScript

var values = [
    12, 43, 61, 27,
    90, 133, 87, 54,
    'etc.'
];
document.getElementById('file').href = encodeURI(
    'data:text/plain;charset=utf-8,' + values.join('\n'));