[IsaacL]

There's too many incidental details, too much substance and complexity for this to be an AI-generated comment.

(I know this is an 8-day old thread, but accusing a long comment of being AI-generated is a bad trend.)