We are off DISQUS

On April 6, 2011 which switched to DISQUS for posting comments on this blog. Since than, there seem to have been less comments... so we are back to the default blogger system.