Was Godel's work on trying to make Anselm's Ontological Argument more 'feasible' with modal logic successful or has this work just been lost in the many abstract debates that confuse the issues?
Gödel's work was successful. See Christoph Benzmüller, Bruno Woltzenlogel Paleo: "Formalization, mechanization and automation of Gödel's proof of God's existence", arXiv (2013). Gödel's logical deduction has passed an automated proof checking procedure. An overview including the philosophical environment (Anselm) is given here.