Fix edgedocs redirect.