<meta http-equiv="refresh" content="0; url=/software/hurd/microkernel/mach/mig/gnu_mig.html">