fix accidentally commented out official mirror redirect