This is not a normal post, it's an announcement to let my readers know that I have turned off Google+ commenting on this blog.
I discovered that only Google+ users could comment. I have therefore moved to Disqus to manage the comments here in future. All readers will be able to comment from now on, either as Disqus users or anonymously.
Sadly, the downside is that existing comments are no longer visible. They are still present in Google+, however.