chiark / gitweb /
* Really discard stderr from our ought-to-be-unnecessary