Comment by mkl

Is this comment AI? That goes against the guidelines: https://news.ycombinator.com/newsguidelines.html