On Fri, 5 Aug 2016, Christian Seiler wrote: > PS: Is there any way to sanely restart /hurd/pflocal without > rebooting?
Yes, the commands to do that are settrans -ck /servers/socket/1 settrans -ck /servers/socket/1 /hurd/pflocal (I'm not sure if the first one is strictly necessary anymore, but it shouldn't hurt...)