chiark / gitweb /
manager: consider jobs already installed as redundant when reducing new transactions