Off-topic but when reading some of the early HN discussions about Retool, I noticed that the old https://retool.in/ https://retool.in/ links don't redirect to r

Off-topic but when reading some of the early HN discussions about Retool, I noticed that the old https://retool.in/ https://retool.in/ links don't redirect to retool.com. The retool.in HTTPS certificate expired last year. :)