Redirecting to fn.with_fresh_ty_vars.html...