::::::::::::I agree that we need to get to a consensus for the whole article to avoid opening future similar discussions. 
 ::::::::::::Some editors' argument that Allah only belongs in the "Islamic view of Abraham" is illegitimate, as that strictly means that Qur'an narrative should be deleted! I knew that editors will disagree on adding it, however, a big effort was made to get a consensus on the WikiProject-Islam to build an  Islamic MOS that uses God instead. This article is for three related monotheism faiths, so we need to work on something neutral to all. What's really odd, is that most Yahweh/YHWH in the article links to a Bible translation that uses Lord and God, instead! Word-by-word is mostly in-acurate and misleading, as Hebrew/Aramaic/Arabic can never be translated to modern languages like that. Also, we're not here to decide what a word means, while the Bible was translated by credible professionals. 
 ::::::::::::You have a good point about explaining the names; but per nafSadh, isn't it smoother to wikilink the first God (in the Lead) to God in Abrahamic religions (where any improvements about God's names can be added with sources there)? God still holds a strong meaning, with a capital G, where other polytheism godness are usually with a small g. Btw, the link in the lead does not say Yahweh, and I have a WP:RS of the identical story of the "historicity and origins" using God. 
 ::::::::::::PiCo has good points, but I personally fear of making it worse by turning Abraham's article to polytheism-like if overriding the Islamic MOS. What I'm thinking about that Christians don't really call Jesus god straight-forward; so "God did" or "God gave" or "angel of God" might not make any confusion, IMO. I saw a template for  {{GOD}} that we can wikilink to "God in Abrahamic religions", but I find it kinda weird, idk.