Thread:AustinDR/@comment-35235206-20161001224502/@comment-2175012-20161002005501

I've personally used both formatting, but if anything, you should console him on it.