Khaled is the only dev for mIRC. He does read all bug reports, so I'm sure he'll address this.