Sorry, there was a bug in both my attention and the forum autologin. The above message was posted by me, but I failed to notice that I was not logged in when posting the message.