It can be minimized by clicking the upper-left corner mIRC icon and selecting Minimize. But yes, a minimize button would make sense.

PS. Just found that closing the mIRC Editor while minimized leads to it being resized bizarrely on re-opening