Did HN resolve the redirect? The domain https://seven.zip https://seven.zip redirects here. I was wondering why this submission with this name, when the page t

Did HN resolve the redirect? The domain https://seven.zip https://seven.zip redirects here. I was wondering why this submission with this name, when the page title is 7-zip and the download is a .exe and not called seven.zip or so, but then remembered the recently (stupidly) approved TLD that is .zip Edit: well https://i.snipboard.io/uAo7BG.jpg https://i.snipboard.io/uAo7BG.jpg