Remove note about where nonexistent /**/-style comments come from