I generally like—and write—these types of doc comments myself. It just looks nicer in docs/intellisense.

I'm a big proponent of "everything public should have a doc comment," even if it's a short sentence. Doesn't hurt to have it. I never understood people who are allergic to comments.

The fact LLMs add comments is one of the few non-sloppy things they do, IMO