ExtMiner user interface.