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.