Ich erreiche seit Stunden
https://hatari.tuxfamily.org/ nicht:
% curl -LI https://hatari.tuxfamily.org/
curl: (7) Failed to connect to hatari.tuxfamily.org port 443 after 108 ms: Couldn't connect to server
… und das ausgerechnet, nachdem ich einer netten Frau ihre Daten von ihrer Megafile 30 per PARCP gerettet hatte, und ihr Hatari installieren wollte, damit sie ihre original CTeX-Installation von damals noch nutzen kann. Selectric, NVDI 2, Gemini 1.2, CTeX, Signum 2, und "elfe.acc". Als Editor: PKSEDIT. Spannendes Setup.