I do have two indeed. One on "primal-net" (666 follows) and another one on "wellorder-net" (665). Is there a way to delete one of them I wonder?