Monday, July 6, 2020 at 1:12 AM @cabel oh god this but downloading TOSEC files from http://archive.org