; Don't use non-ASCII quotes in comments