Thread:DeCool99/@comment-1398428-20190902220850/@comment-1398428-20190903152818

Cool, feel free to do so.

I am going to put that in the article. If you do change the name, then you're welcome to correct it.