Looking forward to reading the results of your benchmarking Hurd vs. Linux.