Options UI for recording IE engine history. (#75)