chiark / gitweb /
manual-reinject: new script