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.

Yes, you are right. It is a weird decision by the developers behind Hacker News to decide which version of Reddit (old/new) the user wants to use