HTMLPipe and how to archive archive.is pages on archive.org manually | Dark Hacker News