chiark / gitweb /
Optimise the export command