@johncarlosbaez somehow your fourth toot is displayed below, here, for me at least.
@quantenvogel - Thanks. It's not visible after the third one for me. It still exists, so you may have just bumped into it randomly??? Confusing.
@johncarlosbaez ah ok, so I was fooled. Then it's indeed a problem!