Thread:Ultrasonic9000/@comment-24014422-20170906151435/@comment-4220590-20170909164945

The latter. Although you could also change the header to be consistent with the category bar. I just feel those two should match.