Explicitly describe '///' versus '//' comment delimiters.