They probably did post that link, but HN helpfully rewrote it to point to old Reddit, which is usually better than new Reddit, but also doesn't get updated with new functionality like this.