Hi,
I wrote
> [...] but I don't know
> whether the latter two are actually a bug in postgres or a bug in the
> OS or even allowed difference. I'm including my results for reference.
Looks like I forgot to include the other two files, sorry. Here they are.
Bye, Rolf