Thread:Cl091000010/@comment-39782585-20191111132509/@comment-36971458-20191122005036

He didn't, he typed the following:


 * 7

Which is what ":7" is without nowiki to start off a line