There is a fine difference between archive.org and arxiv.org
@alexsavin I’m not smart enough for one of those (spoiler, it’s αρΧιφ).
@alexsavin Haha, I blame education for me knowing the Greek alphabet, though I don’t speak nor read Ancient Greek anymore.