Downloading PDF
Click PDF to display the file
2. Click on the three vertical dots
3. Click on "Download"
Downloading TEX
Click TEX to display the file
2. Click on the download button
Downloading MLX
Click MLX to display the file
2. Click on the download button (the online preview for MLX is not useful)