Timestamps in this thread are a bit messed up. Probably I started typing before Guus, but Guus was faster.
After I’ve posted the comment, I edited it. Perhaps that timestamp is the timestamp of my edit, not of my original post.
I’ve now edited this message. The original post time was 13:09.
Ok, that verifies it. The timestamp got updated after I’ve edited the post.
Ok, that makes sence.