It’s been a while since my last patches for GNU/kFreeBSD, and Christoph kindly took over the kfreebsd-* build daemons from me some time ago, but still: smile of the day. Thanks, Russ.