Do nothing in rankmirrors-script (just to avoid testing errors, we'll
fix it later)