It appears Disqus has issues if I use the same id
in both my main page and the GitHub mirror.
Registered a second id to be sure.