Hello :) here is a patch that demonstrates how the new protected payloads can be used to optimize the receiver lookup in Hurd servers. It patches mach-defpager, which is very self-contained due to its heritage, most importantly it does not use libports. This made it an excellent target to convert first. In fact, I've been using this patch in all my Hurd packages for the last seven months.
Cheers, Justus