Wikimedia Mobile engineering/imported/Mobile projects/BadRedirect