[fuzztester]

That used to be common some years ago, with or without a red pen or any pen.