Technicalities

About something I wanted to avoid: as of today, only registered guests will be allowed to comment. Obviously, this is due to a sharp increase of spam. Apparently the hailed Google filters don't do their job well.

And to those whose comments were deleted inadvertently lately: please accept my apologies.