Another unfortunate choice of words, IMHO, was "irreducible complexity". If they had simply said "complexity" then all the arguments used for functional complexity and Kolmogorov complexity could be equally asserted. As it is, much of their time is consumed with defending a narrow definition while not being able to assert other types of complexity as illustrative of the points they seek to make.
I have no problem wit intelligent design being a hypothesis. When it accumulates 50 years or so of supporting evidence then it might be called a theory.
Assuming it comes up with soe objective methodology for determining that something cannot occur through natural, regular processes.
You and I have been round and round on this. I have no problem with considering the possibility that existence is designed in order to bring about life. But that says nothing about the process or the history of life.