Comment by latexr Comment by latexr 2 days ago 0 replies Copy Link View on Hacker News You’re right, I misremembered that. Thank you for the correction.