The disqus integration was removed from the docs site,
so these identifiers don't do anything now.