Removing redirection from fixpoint.me