I was wondering whether this bug has been confirmed elsewhere, since it is a) very annoying and b) endlessly recurring and c) introduced since the last version. I am happy to help debug this. Thanks, Edward