[lxgr]

Good point, although chatgpt.com used to redirect to chat.openai.com for a while too, until the former eventually became the default.