Without sgml mode, we can't escape /* as /* anymore, so just switch to // for comments in examples.