change some disqus identifiers so they can be used as valid Javascript function names