Yep, the opengraph published_time is (taken from the source code of the page):

Wed Oct 28 2020 00:00:00 GMT+0000 (Coordinated Universal Time)

Article has been submitted twice, but never gained any traction (no comments, very few votes):

https://news.ycombinator.com/item?id=30093794

https://news.ycombinator.com/item?id=24925039