Seems like it's this comment: https://news.ycombinator.com/item?id=24538433
Original comment: https://news.ycombinator.com/item?id=9440566
The sweetener mentioned is Neotame
Original comment: https://news.ycombinator.com/item?id=9440566
The sweetener mentioned is Neotame