IRC, freenode, #hurd, 2012-01-14:

<youpi> antrik: what are the permissions that are supposed to be given to
  /servers/default-pager ?
<antrik> olaf@alien:~$ ls -l /servers/default-pager
<antrik> crw-rw-rw- 1 root root 0, 0 Sep 17  2004 /servers/default-pager
<antrik> oh, interesting... in the other system it's different
<antrik> olaf@alien:~$ ls -l /sub/servers/default-pager
<antrik> crw-r--r-- 1 root root 0, 0 Jul 10  2006
  /sub/servers/default-pager
<antrik> both are Debian, the latter installed with crosshurd
<antrik> (and native-install run in a chroot or subhurd, don't remember
  which...)