Jose77 has retired as a Wikipedia editor.