Idris 2

Without disputing the Welsh source, Idris is also an Arabic name, q.v., https://en.wikipedia.org/wiki/Idris_(prophet), and, since the debut of The Wire, a shortening of a somewhat famous Idrissa, q.v., https://en.wikipedia.org/wiki/Idris_Elba. It might be as well to mention both so as not to confuse people who look it up. [noted -ed]

Idris is the Welsh for Arthur, for example "Cadar Idris" is translated into Arthur's chair or seat, a rock on which Arthur is supposed to have sat on in North Wales.

It is actually "Cader Idris", which is why the school nearby is called "Ysgol Y Gader" or School Of Chair. Idris is a wonderful name, full of Welsh pride.
My school is close to Cader Idris, but not as close as Gader.