chiark / gitweb /
scriptinv is correct about not leaking xargs. do not pointlessly trash the args...