The reason why the above is two separate comments is that there’s a WordPress bug when putting those two blocks of text into a single comment. Weird.