  o Minor bugfixes (continuous integration):
    - Remove the buggy and unused mirroring job.  Fixes bug 33213;
      bugfix on 0.3.2.2-alpha.
