Honestly that comment of mine basically came with the caveat "If for reasons I don't understand, people really want to add it." The near-unanimous majority obviously don't, so please don't take me as eagerly advocating for its inclusion. I am no fan of ChatGPT. Best, William