chiark / gitweb /
Do not do PCTB stuff at all if we're not doing PCTB; make progress messages clearer...